SCRIPTS: create-release: show the correct origin name in suggested commands

create-release shows the next steps at the end and suggest to use
"git push origin master" but on my machine it's not "origin" so let's
determine it using git config and only use origin as a fall back.
This commit is contained in:
Willy Tarreau 2019-11-25 15:49:31 +01:00
parent f3ce0418aa
commit ff0c8424c8

View File

@ -225,8 +225,9 @@ read
do_commit || die "Failed to commit changes" do_commit || die "Failed to commit changes"
do_tag || die "Failed to tag changes" do_tag || die "Failed to tag changes"
remote=$(git config --get branch.master.remote)
echo "Do not forget to push updates, publish and announce this version :" echo "Do not forget to push updates, publish and announce this version :"
echo echo
echo "git push origin master v$NEW" echo "git push ${remote:-origin} master v$NEW"
echo "${0%/*}/publish-release" echo "${0%/*}/publish-release"
echo "${0%/*}/announce-release" echo "${0%/*}/announce-release"