From 78e5eecba18cf555d364ea68770a55e4eebe017d Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 24 May 2013 14:12:52 -0700
Subject: [PATCH] pushall: use push --follow-tags

---
 pushall | 17 ++---------------
 1 file changed, 2 insertions(+), 15 deletions(-)

diff --git a/pushall b/pushall
index c4d6e1de40..e46ddf6086 100755
--- a/pushall
+++ b/pushall
@@ -1,23 +1,10 @@
 #!/bin/sh
 
-case "$#" in
-0)
-	tagged=
-	for branch in maint master
-	do
-		t=$(git describe --exact-match $branch 2>/dev/null) &&
-		tagged="$tagged$t "
-	done
-	if test -n "$tagged"
-	then
-		"$0" $tagged
-	fi
-esac
-
+# for remote in ko repo gph github2 sfjp sf.net
 for remote in ko repo gph github2 sfjp sf.net
 do
 	printf "%s: " "$remote"
-	git push "$remote" "$@" || exit $?
+	git push --follow-tags "$remote" "$@" || exit $?
 done
 
 case "$#,$*" in
-- 
2.11.4.GIT