Re: GCC repo is locked?

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.

Cheers,

Mark