push tags when doing a release

diff --git a/release.sh b/release.sh
index dc0e81b..87bcc1d 100755 (executable)
--- 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"
 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."
 
 echo "Release was successful!"
 echo "Don't forget to merge changes on this branch back into master."