[Gluster-devel] Current Gerrit issue / cannot push
Michael Scherer
mscherer at redhat.com
Tue Oct 6 15:27:44 UTC 2020
Le mardi 06 octobre 2020 à 17:11 +0200, Michael Scherer a écrit :
> Hi,
>
> I am looking at the current gerrit issue (cant push), I may restart
> gerrit around to do some maintainance. I will send a email once
> that's
> fixed.
It should be back.
Problem was likely some git process that crashed and left a lock file.
Given the migration to github is soon, I am not going to investigate
much on that and see why it crashed :)
--
Michael Scherer / He/Il/Er/Él
Sysadmin, Community Infrastructure
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part
URL: <http://lists.gluster.org/pipermail/gluster-devel/attachments/20201006/7e093355/attachment.sig>
More information about the Gluster-devel
mailing list