Do not push release automatically in make release script, to enable a chance to catch any errors.

This commit is contained in:
Simon Wisselink
2021-02-17 22:50:52 +01:00
parent fedc127057
commit e66e293a8a

View File

@@ -14,6 +14,6 @@ git pull
git merge --no-ff "release/$1" git merge --no-ff "release/$1"
git branch -d "release/$1" git branch -d "release/$1"
git tag -a "v$1" -m "Release $1" git tag -a "v$1" -m "Release $1"
git push --follow-tags
printf 'Done creating release %s\n' "$1" printf 'Done creating release %s\n' "$1"
printf 'Run `git push --follow-tags origin` to publish it.\n'