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"
-git push
+git push --tags
 
 echo "Release was successful!"
 echo "Don't forget to merge changes on this branch back into master."