Re: gccadmin hooks: make it a public git repo

2021-12-15 Thread Martin Liška
On 12/14/21 17:14, Jonathan Wakely wrote: git clone gcc.gnu.org:/home/gccadmin/hooks-bin Works for me as well, thanks! So as Joseph mentioned, we are really prepared for the transition as there's only the email_to.py script that can be ported. Cheers, Martin

Re: gccadmin hooks: make it a public git repo

2021-12-14 Thread Jonathan Wakely via Gcc
On Tue, 14 Dec 2021 at 15:40, Martin Liška wrote: > > On 12/13/21 21:58, Joseph Myers wrote: > > There is a repository (/home/gccadmin/hooks-bin/.git), it's just not a > > bare one (so not suitable for pushing to) and not public (but anyone in > > the gcc group should be able to clone it, read-onl

Re: gccadmin hooks: make it a public git repo

2021-12-14 Thread Martin Liška
On 12/13/21 21:58, Joseph Myers wrote: There is a repository (/home/gccadmin/hooks-bin/.git), it's just not a bare one (so not suitable for pushing to) and not public (but anyone in the gcc group should be able to clone it, read-only, over ssh). All right, I would be happy at least with that. S

Re: gccadmin hooks: make it a public git repo

2021-12-13 Thread Joseph Myers
On Mon, 13 Dec 2021, Martin Liška wrote: > I would like to ping this as Joel wrote that we'll be switching > to Python3. I know there are some scripts that are definitely in Python 2 > and I would like to port it. Scripts in hooks-bin are executed in separate processes, not imported into the sam

Re: gccadmin hooks: make it a public git repo

2021-12-13 Thread Martin Liška
Hello. I would like to ping this as Joel wrote that we'll be switching to Python3. I know there are some scripts that are definitely in Python 2 and I would like to port it. Having a git repo seems to me the only reasonable way doing that. Can we please set it up? Cheers, Martin On 5/24/21 09:

Re: gccadmin hooks: make it a public git repo

2021-05-24 Thread Martin Liška
PING^1 On 1/14/21 10:02 AM, Martin Liška wrote: On 1/13/21 6:00 PM, Joseph Myers wrote: I'm fine with having it set up with a public repository. Ok, can you please do it Joseph? If you have a public (bare) repository that would of course need to have its own hooks to update the (non-bare) h

Re: gccadmin hooks: make it a public git repo

2021-01-14 Thread Martin Liška
On 1/13/21 6:00 PM, Joseph Myers wrote: I'm fine with having it set up with a public repository. Ok, can you please do it Joseph? If you have a public (bare) repository that would of course need to have its own hooks to update the (non-bare) hooks-bin checkout after a push. I can imagine a

Re: gccadmin hooks: make it a public git repo

2021-01-13 Thread Joseph Myers
I'm fine with having it set up with a public repository. If you have a public (bare) repository that would of course need to have its own hooks to update the (non-bare) hooks-bin checkout after a push. -- Joseph S. Myers jos...@codesourcery.com

Re: gccadmin hooks: make it a public git repo

2021-01-13 Thread Jonathan Wakely via Gcc
Makes sense to me. On Thu, 7 Jan 2021 at 10:42, Martin Liška 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

Re: gccadmin hooks: make it a public git repo

2021-01-07 Thread Martin Liška
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-bugzi