etc: pre-push: Skip checks when pushing to the keyring branch.

Attempting to push new commits to the branch would previously fail like:

  error: commit X is not a descendant of introductory commit
  1m9edb3f66fd807b096b48283debdcddccfea34bad

* etc/git/pre-push (main): Skip checks when pushing to refs/heads/keyring.

Change-Id: I3ea20a10b6c8cc6b6c6f948f80bed902850214c5

1 files changed, 7 insertions, 1 deletions

diff --git a/etc/git/pre-push b/etc/git/pre-push
index 998df45e6dd..9ce3dd4cb76 100755
--- a/etc/git/pre-push
+++ b/etc/git/pre-push
@@ -38,11 +38,17 @@ do
         # and thus there are no signatures or news updates to be verified.
         if [ "$local_hash" != $z40 ]
         then
-                # Skip the hook when performing a pull-request.
+                # Skip the hook when performing a pull-request...
                 case "$remote_ref" in
                     refs/for/*)
                         exit 0
                         ;;
+                    # ... or when pushing a new PGP key to the keyring branch,
+                    # as this branch doesn't share ancestry with the master
+                    # branch and fails the 'guix git authenticate' check.
+                    refs/heads/keyring)
+                        exit 0
+                        ;;
                 esac
 
                 # Only perform checks when pushing to upstream.