pre-push git hook

pre-push.sh

#!/usr/bin/env bash

# hash with 40 zeros means deleted ref
z40=0000000000000000000000000000000000000000

IFS=' '
while read -r local_ref local_sha remote_ref remote_sha
do
	if [ "$local_sha" = $z40 ];
	then
		true # noop
	else
		if [ "$remote_sha" = $z40 ]
		then
			# New branch, examine all commits
			range="$local_sha"
		else
			# Update to existing branch, examine new commits
			range="$remote_sha..$local_sha"
		fi

		# Check for WIP commit
		commit=$(git rev-list -n 1 --grep '^WIP' "$range")
		if [ -n "$commit" ]
		then
			true # noop
    		else
      			cargo test --all # test cargo project if we are pushing non-WIP changes
		fi
	fi
done

exit 0