Makes sense to me.
On Thu, 7 Jan 2021 at 10:42, Martin Liška <mli...@suse.cz> wrote: > > Adding GCC ML. > > On 1/7/21 11:41 AM, Martin Liška wrote: > > Hello. > > > > Time to time, I'm debugging git server hooks with Jakub and I'm always > > struggling > > with miss of gccadmin hooks. I speak about the following repo: > > > > /home/gccadmin/hooks-bin: > > > > $ ls > > commit_checker commit_email_formatter email-to-bugzilla-filtered > > email_to.py git_commit.py git_repository.py __pycache__ style_checker > > update_hook > > > > Can we please make it a public repo sitting here: https://gcc.gnu.org/git/ ? > > > > Second part of the server hooks are git-hooks which are public: > > https://github.com/AdaCore/git-hooks/tree/master/hooks > > > > Thanks, > > Martin >
