Created
April 26, 2018 13:57
-
-
Save HoffmannP/89a0826593b59e3ec57cec0d4262a996 to your computer and use it in GitHub Desktop.
git-hook to prevent pushing php-errors
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
# An example hook script to verify what is about to be pushed. Called by "git | |
# push" after it has checked the remote status, but before anything has been | |
# pushed. If this script exits with a non-zero status nothing will be pushed. | |
# | |
# This hook is called with the following parameters: | |
# | |
# $1 -- Name of the remote to which the push is being done | |
# $2 -- URL to which the push is being done | |
# | |
# If pushing without using a named remote those arguments will be equal. | |
# | |
# Information about the commits which are being pushed is supplied as lines to | |
# the standard input in the form: | |
# | |
# <local ref> <local sha1> <remote ref> <remote sha1> | |
# | |
remote="$1" | |
url="$2" | |
while read local_ref local_sha remote_ref remote_sha | |
do | |
git diff-tree --no-commit-id --name-status -r $remote_sha..$local_sha | |
git diff-tree --no-commit-id --name-only --diff-filter=ABCMRTUXB -r $remote_sha..$local_sha |\ | |
grep '.php$' |\ | |
xargs -n 1 echo |\ | |
xargs -I% sh -c "git show $local_sha:% | php -l >/dev/null" || exit 1 | |
done | |
exit 0 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment