Skip to content

Combine sync{archive,debug,riscv} into mirrorsync

Evangelos Foutras requested to merge mirrorsync-role into master

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.

Merge request reports