No bug - make check_head_headers.sh suitable for a git pre-commit hook.
No bug - add git pre-commit hook that calls check_head_headers.sh.