etc: pre-push: Skip checks on AGit pull requests.

* etc/git/pre-push (case "$remote_refs" in refs/for/*): Skip checks.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
Fixes: AGit push fails <https://codeberg.org/guix/guix/issues/5>
Tested-by: Hilton Chain <hako@ultrarare.space>
Signed-off-by: Hilton Chain <hako@ultrarare.space>

1 files changed, 7 insertions, 0 deletions

diff --git a/etc/git/pre-push b/etc/git/pre-push
index 400095591cd..3ec451fdfd3 100755
--- a/etc/git/pre-push
+++ b/etc/git/pre-push
@@ -29,6 +29,13 @@ do
         # thus there are no signatures to be verified.
         if [ "$local_hash" != $z40 ]
         then
+                # Skip the hook when performing a pull-request.
+                case "$remote_ref" in
+                    refs/for/*)
+                        exit 0
+                        ;;
+                esac
+
                 # Only use the hook when pushing to upstream.
                 case "$2" in
                     *.gnu.org*) ;&