added new script to push the version tag

johnny · johnny · commit 54d35d8fbadb · 2013-03-02T16:52:13.000+01:00
diff --git a/push-tag.sh b/push-tag.sh
@@ -0,0 +1,6 @@
+#!/bin/sh
+
+VERSION=`cat VERSION`
+
+git tag $VERSION
+git push origin --tags
