From 6bdb97057e16b8d31b0b39f6b1f64bc0f02ad59e Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 11 Apr 2023 12:41:25 -0700
Subject: [PATCH] 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.
---
 pushall | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"}
 
-- 
2.47.3