From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 11 Apr 2023 19:41:25 +0000 (-0700)
Subject: Meta/pushall: push out to CI repository before ko
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6bdb97057e16b8d31b0b39f6b1f64bc0f02ad59e;p=thirdparty%2Fgit.git

Meta/pushall: push out to CI repository before ko

The refmap (not tracked here) to update 'main' branch at the CI
repository is set to push from remotes/ko/master to make 'master'
current while allowing 'main' to lag behind one round of pushout to
'master'/'main'.  This way, pushing out to the CI repository won't
have to spend redundant cycles to build 'master' and 'main' at the
same time.
---

diff --git a/pushall b/pushall
index f1ad8e2ec3..8d18760b00 100755
--- a/pushall
+++ b/pushall
@@ -2,7 +2,7 @@
 
 #sites='ko repo github2 sfjp sf.net'
 
-: ${sites:="ko repo github2"}
+: ${sites:="github2 ko repo"}
 : ${nexts:="$sites"}
 : ${mirrors="github gob-private"}