summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaxim Cournoyer <maxim.cournoyer@gmail.com>2025-05-27 11:01:15 +0900
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>2025-05-27 11:07:03 +0900
commitcedb79a57b51b5e82bfb696b5801f6ee72407da2 (patch)
treefc03784346fe2cd2d3c0db0343345523f754e6c8
parentc24b8fadad74c1a54f0454aad82ac3149c897716 (diff)
etc: pre-push: Do not use recent ;& case statement terminator.
Some systems are still using a shell that predates its inclusion in the POSIX specification, such as Debian Bookworm. * etc/git/pre-push (z40): Remove usage of ';&'. Fail when attempting to push to Savannah instead. Reported-by: Leo Famulari <leo@famulari.name> Closes: #64 Change-Id: I2dd224b7a3236f7027fc702b96e3ee1ff594d4fa
-rwxr-xr-xetc/git/pre-push5
1 files changed, 4 insertions, 1 deletions
diff --git a/etc/git/pre-push b/etc/git/pre-push
index 64d6903ae4..c22dd06421 100755
--- a/etc/git/pre-push
+++ b/etc/git/pre-push
@@ -38,7 +38,10 @@ do
# Only use the hook when pushing to upstream.
case "$2" in
- *.gnu.org*) ;&
+ *.gnu.org*)
+ echo "adjust remote: repo was migrated to codeberg"
+ exit 127
+ ;;
*codeberg.org/guix/*)
set -e
guix git authenticate