* etc/git/pre-push: Check each commit's signature individually so that we can report which commits fail the check.
* HACKING (Commit Access): Describe the pre-push Git hook. * etc/git/pre-push: New file.