release.sh: fix branch name

diff --git a/release.sh b/release.sh
index 9ac5a27d09fe92a7d24512d06ce25754f74d8bf9..ee218ea54edf5a02b2a66aa1281c67fe7882cd80 100755 (executable)
--- a/release.sh
+++ b/release.sh
@@ -170,11 +170,10 @@ new_bin_packages="$(echo "$diff_bin_packages" | grep '^+' | sed -e 's/^+//g')"
 rm_bin_packages="$(echo "$diff_bin_packages" | grep '^-' | sed -e 's/^-//g')"
 
 show_build_notice() {
-    CRATE_FORMAT=$(echo $CRATE|sed -e "s/_/-/g")
 cat <<eof
 The recommended way to build and upload is to run something like:
 
-  cd build && ./build.sh $CRATE $VER && dput ${DEBSRC}_${DEBVER}_${DEB_HOST_ARCH}.changes && git push origin pending-$CRATE_FORMAT && git checkout - && cd -
+  cd build && ./build.sh $CRATE $VER && dput ${DEBSRC}_${DEBVER}_${DEB_HOST_ARCH}.changes && git push origin $RELBRANCH && git checkout - && cd -
 
 eof
 }