Josh Marshall <joshua.r.marshall.1991@gmail.com> writes:

> If those are the particular expectations and standards, should they change
> from only policy in the manual to something enforced by a git pre-commit
> hook?

That's a good idea.  I'm not sure about enforcing, but we could have a
post-commit hook that complains if all the files are not mentioned in
the commit message.