chiark / gitweb /
bin/run-mirrors: If we have a keytab file, log in with it.