Change release script to amend commit.

Requires further work to properly handle the Git branching model as
described by http://nvie.com/posts/a-successful-git-branching-model
This commit is contained in:
Daniel Kraus
2014-09-03 15:12:19 +02:00
parent 5a8e54eab2
commit 8896a61c08

View File

@ -19,7 +19,7 @@ tar cvzf $FILENAME gpl-*.txt README.md NEWS *.php --exclude '*~' --transform 's,
if [[ $? -eq 0 ]]; then if [[ $? -eq 0 ]]; then
# Add the tarball to the repository, commit it, then tag the commit and push to origin. # Add the tarball to the repository, commit it, then tag the commit and push to origin.
git add $FILENAME git add $FILENAME
git commit -m "Release version $1" git commit -m --amend
git tag -a $1 -m "Version $1." git tag -a $1 -m "Version $1."
git push git push
git push --tags git push --tags