From 3646cd6e54fd4f0676ae2810124e636b35c942af Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 16 Nov 2011 22:46:01 -0800
Subject: [PATCH] Meta/pushall: adjust to new layout

---
 pushall | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

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