summaryrefslogtreecommitdiff
path: root/bin/check-mirrors
AgeCommit message (Expand)Author
2018-06-19bin/check-mirrors: run 10 instead of 100 jobs parallelErich Eckner
2018-06-15bin/check-mirrors: success==0 => has_isos=0Erich Eckner
2018-06-15bin/check-mirrors newErich Eckner