Meta/pushall: make it easier to one-shot customize the destinations

Junio C Hamano committed Feb 3, 2022 at 17:20 UTC 5e3eaf38f26fc35f48653adbb4cc31ef5a5b8d43
1 file changed +4 -3
pushall
+4 -3
@@ -1,9 +1,10 @@
1 #!/bin/sh
2
3 #sites='ko repo github2 sfjp sf.net'
4 -sites='ko repo github2'
5 -nexts='ko repo github2 '
6 -mirrors='github gob-private'
4 +
5 +: ${sites:="ko repo github2"}
6 +: ${nexts:="$sites"}
7 +: ${mirrors="github gob-private"}
8
9 push_retry () {
10 sites=$1