]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Meta/pushall: make it easier to one-shot customize the destinations
authorJunio C Hamano <gitster@pobox.com>
Fri, 4 Feb 2022 01:20:04 +0000 (17:20 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 4 Feb 2022 01:20:04 +0000 (17:20 -0800)
pushall

diff --git a/pushall b/pushall
index 2b4a8a5ca64806ab365e9c191e21dae5164487a1..f1ad8e2ec3af240494ff162923402f8bcdd64482 100755 (executable)
--- a/pushall
+++ b/pushall
@@ -1,9 +1,10 @@
 #!/bin/sh
 
 #sites='ko repo github2 sfjp sf.net'
-sites='ko repo github2'
-nexts='ko repo github2 '
-mirrors='github gob-private'
+
+: ${sites:="ko repo github2"}
+: ${nexts:="$sites"}
+: ${mirrors="github gob-private"}
 
 push_retry () {
        sites=$1