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