Skip to content
Snippets Groups Projects

Combine sync{archive,debug,riscv} into mirrorsync

Merged Combine sync{archive,debug,riscv} into mirrorsync
mirrorsync-role into master
Merged Evangelos Foutras requested to merge mirrorsync-role into master
  1. Sep 28, 2022
    • Evangelos Foutras's avatar
      Combine sync{archive,debug,riscv} into mirrorsync · 43eb814b
      Evangelos Foutras authored 
      These roles are very similar and can be merged into a single new role.

Note: The archive mirror is changed from a 4-hour sync to minutely for
conformity with the other two mirrors. In practice this doesn't matter
as it was already taking over 4 hours to finish and was starting again
right after its previous run.
      Verified
      43eb814b