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>

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*) ;&