diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-06-28 16:33:01 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-06-29 14:27:22 +0200 |
commit | 3a8bfebed94ba295432da8304b7ffb4a611ef761 (patch) | |
tree | d2f2fe3214de0a36d5ebddbd2ab51540a0d19358 /gnu/packages/ci.scm | |
parent | 70d6ec3e4facb2eed4b8842031ebd2683a8cfd3b (diff) |
etc: Remove hydra.gnu.org.pub key.
* etc/substitutes/hydra.gnu.org.pub: Delete file.
* guix/self.scm (miscellaneous-files): Don't install it.
* Makefile.am (dist_pkgdata_DATA): Remove it.
* gnu/services/base.scm (%default-authorized-guix-keys): Likewise.
(hydra-key-authorization): Rename to…
(substitute-key-authorization): …this. Adjust only call site.
Diffstat (limited to 'gnu/packages/ci.scm')
0 files changed, 0 insertions, 0 deletions