Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/ping-to-master
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-07-11 13:40:17 +0200
committerErich Eckner <git@eckner.net>2019-07-11 13:40:17 +0200
commit0f1b7b8c34f665164b236739e593181dba88cbd0 (patch)
tree914422f76ad872ef526d7cee9f753280058be214 /bin/ping-to-master
parent593f865e209831a95a666204e71f5e20fb2df758 (diff)
Revert "bin/sanity-check: do not _ping_ the master mirror (ping does not work O.o) - use curl"
This reverts commit 593f865e209831a95a666204e71f5e20fb2df758. We repaired the `ping` command on the buildmaster.
Diffstat (limited to 'bin/ping-to-master')
0 files changed, 0 insertions, 0 deletions

Copyright © 2002-2022 Judd Vinet and Aaron Griffin. Copyright © 2022 Erich Eckner.
The Arch Linux name and logo are recognized trademarks. Some rights reserved. The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.