From b558a524df19d86a6b365e574e6e17cca5f8b35d Mon Sep 17 00:00:00 2001
From: Marco Villegas <git@marvil07.net>
Date: Mon, 15 Jan 2024 06:21:40 +0000
Subject: [PATCH] Remove WIP check on git pre-push hook

---
 tests/scripts/git-hooks/pre-push | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/tests/scripts/git-hooks/pre-push b/tests/scripts/git-hooks/pre-push
index bb65c4de8f..ad358cc27c 100755
--- a/tests/scripts/git-hooks/pre-push
+++ b/tests/scripts/git-hooks/pre-push
@@ -41,14 +41,6 @@ do
             range="$remote_sha..$local_sha"
         fi
 
-        # Check for WIP commit
-        commit=`git rev-list -n 1 --grep '^WIP' "$range"`
-        if [ -n "$commit" ]
-        then
-            echo >&2 "Found WIP commit in $local_ref, not pushing"
-            exit 1
-        fi
-
         # Run coding standards check over modified files.
         modified_files=`git diff --diff-filter=d --name-only "$range"`
         if [ -n "$modified_files" ]