On Tue, Feb 7, 2023 at 5:16 PM Andrew Dunstan <and...@dunslane.net> wrote: > > On 2023-02-06 Mo 23:43, Noah Misch wrote: > > > Well, we did talk about adding a pre-commit hook to the repository, with > instructions for how to enable it. And I don't see a problem with adding the > pre-receive we're discussing here to src/tools/something. > > Yeah. I don't think we are seriously considering putting any restrictions > in place on gitmaster > > I could have sworn that was exactly what we were discussing, a pre-receive > hook on gitmaster. > > > That's one idea that's been put forward, but it seems clear that some people > are nervous about it. > > Maybe a better course would be to continue improving the toolset and get more > people comfortable with using it locally and then talk about integrating it > upstream. >
Yeah, that sounds more reasonable to me as well. -- With Regards, Amit Kapila.
