From 21396e66b12d229dc9f6b9cf608a7cbd9fcdd2d4 Mon Sep 17 00:00:00 2001
From: Christian Thaeter <ct@pipapo.org>
Date: Fri, 10 Aug 2007 18:09:34 +0200
Subject: [PATCH] newer git doesnt push tags, fixed

---
 admin/git_hooks/post-commit | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/admin/git_hooks/post-commit b/admin/git_hooks/post-commit
index 6eb70704c..c61bf3a2b 100755
--- a/admin/git_hooks/post-commit
+++ b/admin/git_hooks/post-commit
@@ -8,4 +8,5 @@
 # see wiki/index.html#GitNotes%20GitAliases for information
 
 git sign "$(git config user.email)/$(git-symbolic-ref HEAD | cut -d/ -f 3-)_signature"
-git publish
+git push --all public
+git push --tags public