chiark / gitweb /
jenkins-test: include repo_pubkey in config.py for BUILD test