diff options
author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2025-05-27 11:01:15 +0900 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2025-05-27 11:07:03 +0900 |
commit | cedb79a57b51b5e82bfb696b5801f6ee72407da2 (patch) | |
tree | fc03784346fe2cd2d3c0db0343345523f754e6c8 | |
parent | c24b8fadad74c1a54f0454aad82ac3149c897716 (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-x | etc/git/pre-push | 5 |
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 |