David Fetter <david@fetter.org> writes:
> On Fri, Jan 17, 2020 at 06:41:02PM -0500, Tom Lane wrote:
>> I'd be okay with a hook that there was a way to override ("yes,
>> I know what I'm doing, this doesn't require a catversion change").
>> But there's no way to do that is there?
> I'm pretty sure there is. The program called by the commit hook can
> prompt the user for input.
... um, but the commit hook in question would run on the repo server.
Is there really something in the git protocol that would allow sending
this sort of interaction back to the person running "git push"?
I think you are right that individual committers could set up such hooks
in their own private repos. But that's not what was being suggested,
or so I thought.
regards, tom lane