diff options
author | Junio C Hamano <gitster@pobox.com> | 2023-04-11 12:41:25 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-04-11 12:44:44 -0700 |
commit | 6bdb97057e16b8d31b0b39f6b1f64bc0f02ad59e (patch) | |
tree | e38c05d000fecccb2905e2d9ee6cfbfc9bf85ad6 | |
parent | 1b21701f49696fb6e0bbee8b4fa6f5b37b983ddc (diff) | |
download | git-6bdb97057e16b8d31b0b39f6b1f64bc0f02ad59e.tar.gz |
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.
-rwxr-xr-x | pushall | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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"} |