git: Improve tagging script

This commit is contained in:
James Shubin
2017-03-11 08:29:53 -05:00
parent 8ff048d055
commit 9546949945

2
tag.sh
View File

@@ -7,5 +7,5 @@ echo "Version $t is now tagged!"
echo "Pushing $t to origin..." echo "Pushing $t to origin..."
echo "Press ^C within 3s to abort." echo "Press ^C within 3s to abort."
sleep 3s sleep 3s
git tag $t echo "release: tag $t" | git tag --file=- --sign $t
git push origin $t git push origin $t