Home
Packages
Forums
Bugs
Mailing List
Download
Arch Linux Official
Send patches - preferably formatted by
git format-patch
- to
patches at archlinux32 dot org
.
index
:
builder
db-update
master
wdy-wip
Archlinux32 build system
gitolite user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
bin
/
check-mirrors
Age
Commit message (
Collapse
)
Author
2022-09-28
bin/check-mirrors: use lock file to only run once without parameters at the ↵
Erich Eckner
same time
2022-06-03
check-mirrors: be a little bit more verbose (timer was not running on ↵
Andreas Baumann
buildmaster)
2022-04-28
check-mirrors: simplified broken archiso detection
Andreas Baumann
2020-01-24
check-mirrors: reverted -L
Andreas Baumann
2020-01-24
Merge branch 'master' of ssh://git.archlinux32.org/builder
Andreas Baumann
2020-01-24
check-mirrors: follow redirects when checking things with curl
Andreas Baumann
2020-01-24
bin/check-mirrors: more verbose help text
Erich Eckner
2019-11-08
bin/check-mirrors: fix CAST
Erich Eckner
2019-11-08
bin/check-mirrors: iso might be from *any* date of month
Erich Eckner
2019-11-08
bin/check-mirrors: untar git archive
Erich Eckner
2019-10-29
bin/check-mirrors: correctly cast bits
Erich Eckner
2019-02-06
bin/check-mirrors: urls should include the trailing /
Erich Eckner
2018-09-17
bin/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-17
bin/build-packages,bin/check-mirrors,bin/get-package-updates: "git remote ↵
Erich Eckner
update" -> "git fetch origin master:master"
2018-07-08
bin/check-mirrors: do not fail if remote-update fails
Erich Eckner
2018-07-08
bin/check-mirrors: use correct variable
Erich Eckner
2018-07-08
bin/check-mirrors: use git repository of releng
Erich Eckner
2018-06-19
bin/check-mirrors: run 10 instead of 100 jobs parallel
Erich Eckner
2018-06-15
bin/check-mirrors: success==0 => has_isos=0
Erich Eckner
2018-06-15
bin/check-mirrors new
Erich Eckner