branch master updated: hydra: Rename key for 'dover' and update it.

[Ludovic Courtès]

This is an automated email from the git hooks/post-receive script.

civodul pushed a commit to branch master
in repository maintenance.

The following commit(s) were added to refs/heads/master by this push:
     new 73da784  hydra: Rename key for 'dover' and update it.
73da784 is described below

commit 73da7847f372ff3c56e1fe3015b543711545c7da
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Sun Jul 2 15:29:01 2023 +0200

    hydra: Rename key for 'dover' and update it.
    
    The signing key on 'dover' was apparently changed on April 18th, 2023.
    
    * hydra/keys/guix/berlin/dover.guix.info:9023.pub: Rename to...
    * hydra/keys/guix/berlin/dover.guix.gnu.org.pub: ... this.  Update key.
---
 hydra/keys/guix/berlin/dover.guix.gnu.org.pub   | 6 ++++++
 hydra/keys/guix/berlin/dover.guix.info:9023.pub | 6 ------
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/hydra/keys/guix/berlin/dover.guix.gnu.org.pub 
b/hydra/keys/guix/berlin/dover.guix.gnu.org.pub
new file mode 100644
index 0000000..b45ea59
--- /dev/null
+++ b/hydra/keys/guix/berlin/dover.guix.gnu.org.pub
@@ -0,0 +1,6 @@
+(public-key 
+ (ecc 
+  (curve Ed25519)
+  (q #856A89786919D2C4D27A13B788FEF8D2A1085F10D364301CA07527DB35339110#)
+  )
+ )
diff --git a/hydra/keys/guix/berlin/dover.guix.info:9023.pub 
b/hydra/keys/guix/berlin/dover.guix.info:9023.pub
deleted file mode 100644
index 40edfa1..0000000
--- a/hydra/keys/guix/berlin/dover.guix.info:9023.pub
+++ /dev/null
@@ -1,6 +0,0 @@
-(public-key 
- (ecc 
-  (curve Ed25519)
-  (q #4A5955B002001DCF66C0E80659098FAA3EBBB0E315B623661E3EA3E357AC6B4A#)
-  )
- )