Meta/pushall: explicitly support -n

diff --git a/pushall b/pushall
index 872818d12d0d24ac7949ef49120ad6ca264bf56c..4045cbd27ba04fac4616555f27be58a2aa1d0dc3 100755 (executable)
--- a/pushall
+++ b/pushall
@@ -6,14 +6,14 @@ do
        git push "$remote" "$@" || exit $?
 done
 
-case "$#" in
-0)
+case "$#,$*" in
+0,* | 1,-n)
        printf "github mirror: "
        git push github "$@" || exit $?
        for topic in htmldocs manpages
        do
                printf "%s: " "$topic"
-               ( cd ../git-$topic.git && git push ) || exit
+               ( cd ../git-$topic.git && git push "$@") || exit
        done
        ;;
 esac