summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xetc/git/pre-push36
1 files changed, 19 insertions, 17 deletions
diff --git a/etc/git/pre-push b/etc/git/pre-push
index c22dd06421..19c344d91e 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