Git hooks

pre-commit

#!/bin/sh

if git rev-parse --verify HEAD >/dev/null 2>&1
then
	against=HEAD
else
	# Initial commit: diff against an empty tree object
	against=$( git hash-object -t tree /dev/null )
fi

# Redirect output to stderr.
exec 1>&2

# PHP linting, excluding deleted files
git diff --cached --diff-filter=d --name-only -z $against -- \*.php | xargs --null --no-run-if-empty --max-args=1 php-8.0 -l -f > /dev/null