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
