From 2d378244df7a268dc1c608c7cf8bfd6bb62e091d Mon Sep 17 00:00:00 2001
From: Karl Ramm <kcr@1ts.org>
Date: Mon, 8 Jul 2013 16:12:13 -0400
Subject: release should push the release tags as well

---
 release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/release b/release
index 5fb9f5a..0616678 100755
--- a/release
+++ b/release
@@ -32,6 +32,6 @@ git add -A
 TREE=$(git write-tree)
 COMMIT=$(echo release artifact for $VERSION | git commit-tree $TREE -p HEAD -p remotes/origin/release/artifact)
 git tag release/$TAGNAME -m "release $VERSION processed for git archive" $COMMIT
-git push origin $COMMIT:release/artifact
+git push origin $TAGNAME release/$TAGNAME $COMMIT:release/artifact
 git reset --hard master
 git checkout master
-- 
cgit v1.2.3