syncrepo: let mirrorsync perform the repo syncing
Passed
Evangelos Foutras
created pipeline for commit
25860ca0
, finished
For fold-syncrepo-script-into-mirrorsync
35 seconds, queued for 1 seconds