chiark / gitweb /
makebuildserver: set default Debian mirror to http.debian.net
authorHans-Christoph Steiner <hans@eds.org>
Wed, 20 Jan 2016 19:40:25 +0000 (20:40 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Thu, 21 Jan 2016 14:34:55 +0000 (15:34 +0100)
commit50713c7ce96203e7297e16848919ca2009a21d85
tree01d20e9b4c6f32f3cfe2ea2ae70737e4fb5a1fec
parentb33add9ce7574b0dff069193a87aeea9d76c146d
makebuildserver: set default Debian mirror to http.debian.net

This host automatically detects which is the closest mirror, then uses that
one.  It does so dynamically, so it'll work on machines that move too. Now
that we are pushing more people to run F-Droid build servers, the defaults
should take those use cases into account.
examples/makebuildserver.config.py
makebuildserver