From dbbd75490e753ef0f18995cac002ce8f8750c3c4 Mon Sep 17 00:00:00 2001 From: Ulya Trofimovich Date: Tue, 29 Jul 2014 18:08:07 +0300 Subject: [PATCH] release.sh: don't forget to push as well as push tags --- re2c/release.sh | 1 + 1 file changed, 1 insertion(+) 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 -- 2.40.0