Re: build-aux/git-hooks/pre-push

[Jim Porter]

On 5/4/2023 3:37 AM, Basil Contovounesios wrote:
> So maybe we should be defensive about the existence of this hook?
> Or am I doing something wrong?

I guess that's what I get for just trusting the Git manual instead of 
verifying that my fix worked. How about this?

0001-Fix-post-commit-and-pre-push-hooks-in-worktrees-agai.patch
Description: Text document