From: Ulya Trofimovich <skvadrik@gmail.com>
Date: Tue, 29 Jul 2014 15:08:07 +0000 (+0300)
Subject: release.sh: don't forget to push as well as push tags
X-Git-Tag: 0.13.7.4~1
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=dbbd75490e753ef0f18995cac002ce8f8750c3c4;p=re2c

release.sh: don't forget to push as well as push tags
---

diff --git a/re2c/release.sh b/re2c/release.sh
index bd9659ea..5b44a087 100755
--- a/re2c/release.sh
+++ b/re2c/release.sh
@@ -42,6 +42,7 @@ rm -r $tmpdir
 # commit release
 git commit -a -m "Release $version."
 git tag $version
+git push
 git push --tags
 
 # upload files on sourceforge