release.sh: don't forget to push tags.

diff --git a/release.sh b/release.sh
index 7d6d2b95bd6b4e63c108ee8be84d3dfe599cf697..78fdc724321eb8eb577ddcb1886c24f7f40f6787 100755 (executable)
--- a/release.sh
+++ b/release.sh
@@ -32,6 +32,7 @@ git commit -a -m "Release $version."
 git tag $version
 for r in `git remote`
 do
-    git push --follow-tags $r master
+    git push $r master
+    git push --tags $r master
 done