Re: Git hooks

[Erik Auerswald]

Hi Shawn,

On Wed, Jun 15, 2022 at 02:50:40AM -0700, Shawn Wagner wrote:
> Following up on an earlier idea, see attached patch that lets users install
> a standardized git pre-commit hook that runs make syntax-check before
> allowing a commit to proceed. Other client-side hooks can easily be added
> later if desired (Or the pre-commit one expanded).
> 
> Any objections if I commit it?

I'd like to ask you to consider removing "Unfortunately, " from the
added text, because I'd say it is a good decision that "git clone" does
not alter the behavior of git commands when $CWD is inside the cloned
directory (unless a bare repository is involved).

Other than that this looks OK to me.

Thanks,
Erik