Meta/pushall: github is configured to be a mirror and does not take parameters

diff --git a/pushall b/pushall
index 24c18eddb98f3f266c988870e7e0515c8b6c5348..4522c65cedcdeded96c266e427553e559cb2d36a 100755 (executable)
--- a/pushall
+++ b/pushall
@@ -1,6 +1,12 @@
 #!/bin/sh
 
 git push repo "$@" &&
-git push github "$@" &&
 git push sfjp "$@" &&
-git push sf.net "$@"
+git push sf.net "$@" &&
+
+case "$#" in
+0)
+       git push github "$@" ;;
+*)
+       echo "No push to github" ;;
+esac