chiark / gitweb /
make all apt repos in build server use the configured debian mirror