release.sh: fix branch name

This commit is contained in:
Jochen Sprickerhof 2022-08-11 16:08:15 +02:00
parent dac7d26832
commit 88a5e7d0d3
No known key found for this signature in database
GPG Key ID: 5BFFDCC258E69433

View File

@ -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
}