Meta/pushall: make it safer to rewind next

pushall

@@ -1,7 +1,11 @@
 #!/bin/sh
 
 sites='ko repo github2 sfjp sf.net gph '
+nexts='ko repo gph github2'
 
+push_retry () {
+	sites=$1
+	shift
 	while :
 	do
 		failed=
@@ -21,6 +25,16 @@ do
 		fi
 		sites="$failed"
 	done
+}
+
+case " $* " in
+*' +next '*)
+	push_retry "$nexts" "$@"
+	exit $?
+	;;
+esac
+
+push_retry "$sites" "$@"
 
 case "$#,$*" in
 0,* | 1,-n)