On Fri, Jan 21, 2022 at 11:53 PM Andres Freund <and...@anarazel.de> wrote: > > Hi, > > On 2022-01-21 17:25:08 -0500, Tom Lane wrote: > > Perhaps this could be finessed by making updating of INSTALL > > the responsibility of some post-commit hook on the git server. > > Not sure that we want to go there, though. In any case, that > > approach would negate your point about seeing the results. > > It would. I guess it'd still be better than the situation today, but...
post-commit hooks don't run on the git server, they run locally on your machine. There is a "post receive" hook that runs on the git server, but we definitely don't want that one to fabricate new commits I think. And it certainly cannot *modify* the commit that came in in flight, as that would change the hash, and basically break the whole integrity of the commit chain. We could certainly have a cronjob somewhere that ran to check that they were in sync and would auto-generate a patch if they weren't, for a committer to review, but I'm not sure how much that would help? -- Magnus Hagander Me: https://www.hagander.net/ Work: https://www.redpill-linpro.com/
