From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 17 Nov 2011 06:46:01 +0000 (-0800)
Subject: Meta/pushall: adjust to new layout
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3646cd6e54fd4f0676ae2810124e636b35c942af;p=thirdparty%2Fgit.git

Meta/pushall: adjust to new layout
---

diff --git a/pushall b/pushall
index 7755a181ed..872818d12d 100755
--- a/pushall
+++ b/pushall
@@ -9,7 +9,11 @@ done
 case "$#" in
 0)
 	printf "github mirror: "
-	git push github "$@" ;;
-*)
-	echo "No push to github" ;;
+	git push github "$@" || exit $?
+	for topic in htmldocs manpages
+	do
+		printf "%s: " "$topic"
+		( cd ../git-$topic.git && git push ) || exit
+	done
+	;;
 esac