From 06682812a5dee4f35ff02be8fab630ca722edc81 Mon Sep 17 00:00:00 2001 From: Dan Vanderkam Date: Wed, 14 Aug 2013 12:16:08 -0400 Subject: [PATCH] push tags when doing a release --- release.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/release.sh b/release.sh index dc0e81b..87bcc1d 100755 --- a/release.sh +++ b/release.sh @@ -46,7 +46,7 @@ fi COMMIT=$(git rev-parse HEAD) echo "Tagging commit $COMMIT as version $VERSION" git tag -a "v$VERSION" -m "Release of version $VERSION" -git push +git push --tags echo "Release was successful!" echo "Don't forget to merge changes on this branch back into master." -- 2.7.4