Re: GCC repo is locked?

Mikael Morin via Gcc <[email protected]> Fri, 24 Jul 2026 23:06:46 +0200

Newsgroups	gmane.comp.gcc.devel
Message-ID	<[email protected]>

Le 24/07/2026 à 23:01, Mark Wielaard a écrit :
> Hi Mikael,
> 
> On Fri, Jul 24, 2026 at 10:29:33PM +0200, Mikael Morin via Gcc wrote:
>> I'm afraid I'm (again) the cause of this.
>> I posted a message on IRC telling anyone could kill the push hook
>> process(es).  I'm not sure it reached the right people (or someone
>> at all).
> 
> Killed the process and removed the git-hooks::update.token.lock.
> So pushed should be possible again.
Thanks