path: root/bin/check-mirrors
AgeCommit message (Collapse)Author
2020-01-24check-mirrors: reverted -LAndreas Baumann
2020-01-24Merge branch 'master' of ssh:// Baumann
2020-01-24check-mirrors: follow redirects when checking things with curlAndreas Baumann
2020-01-24bin/check-mirrors: more verbose help textErich Eckner
2019-11-08bin/check-mirrors: fix CASTErich Eckner
2019-11-08bin/check-mirrors: iso might be from *any* date of monthErich Eckner
2019-11-08bin/check-mirrors: untar git archiveErich Eckner
2019-10-29bin/check-mirrors: correctly cast bitsErich Eckner
2019-02-06bin/check-mirrors: urls should include the trailing /Erich Eckner
2018-09-17bin/build-packages,bin/check-mirrors,bin/get-package-updates: "git fetch ↵Erich Eckner
origin master:master" only works for bare repositories - use "git remote update" for non-bare ones
2018-09-17bin/build-packages,bin/check-mirrors,bin/get-package-updates: "git remote ↵Erich Eckner
update" -> "git fetch origin master:master"
2018-07-08bin/check-mirrors: do not fail if remote-update failsErich Eckner
2018-07-08bin/check-mirrors: use correct variableErich Eckner
2018-07-08bin/check-mirrors: use git repository of relengErich Eckner
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