Le 12/06/2024 à 14:14, Mark Wielaard a écrit :
Hi,
On Wed, 2024-06-12 at 13:48 +0200, Jakub Jelinek via Gcc wrote:
Yesterday the gcc git repository was locked for 3 hours
locked by user mikael at 2024-06-11 13:27:44.301067 (pid = 974167)
78:06 python hooks/update.py refs/users/mikael/tags/fortran-dev_merges/r10-1545
0000000000000000000000000000000000000000
c2f9fe1d8111b9671bf0aa8362446516fd942f1d
process until overseers killed it but today we have the same
situation for 3 ours and counting again:
locked by user mikael at 2024-06-12 08:35:48.137564 (pid = 2219652)
78:06 python hooks/update.py refs/users/mikael/tags/toto
0000000000000000000000000000000000000000
cca005166dba2cefeb51afac3ea629b3972acea3
Just for the record, I kill the process and removed the git-
hooks::update.token.lock file. Sorry that killed mikael's push, but
hopefully that makes it possible for others to push again.
No problem, I had interrupted the push long before on my side.
