From 96da4def781a1b01536fd4335be0446984dc6705 Mon Sep 17 00:00:00 2001
From: Leo Famulari <leo@famulari.name>
Date: Mon, 26 May 2025 21:51:02 -0400
Subject: [PATCH] etc: pre-push Git hook: Make portable to current Debian.

Closes #64

The ;& operator was introduced in POSIX.1-2024 "Issue 8", from 2024, but
is not yet available in Debian's dash shell.

* etc/git/pre-push: Duplicate the handling of our two canonical Git repo
URLs.

Change-Id: I1125810c9f2d6fb9a99f7220d971cc38387989d3
---
 etc/git/pre-push | 36 +++++++++++++++++++-----------------
 1 file changed, 19 insertions(+), 17 deletions(-)

diff --git a/etc/git/pre-push b/etc/git/pre-push
index c22dd064211..19c344d91ed 100755
--- a/etc/git/pre-push
+++ b/etc/git/pre-push
@@ -36,23 +36,25 @@ do
                         ;;
                 esac
 
-                # Only use the hook when pushing to upstream.
-                case "$2" in
-                    *.gnu.org*)
-                        echo "adjust remote: repo was migrated to codeberg"
-                        exit 127
-                        ;;
-                    *codeberg.org/guix/*)
-                        set -e
-                        guix git authenticate
-                        exec make check-channel-news
-                        exit 127
-                        ;;
-                    *)
-                        exit 0
-                        ;;
-                esac
-        fi
+		# Only use the hook when pushing to upstream.
+		case "$2" in
+		    *.gnu.org*)
+			set -e
+			guix git authenticate
+			exec make check-channel-news
+			exit 127
+			;;
+		    *codeberg.org/guix/*)
+			set -e
+			guix git authenticate
+			exec make check-channel-news
+			exit 127
+			;;
+		    *)
+			exit 0
+			;;
+		esac
+	fi
 done
 
 exit 0