Remove WIP check on git pre-push hook

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" ]