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
