[Gluster-devel] Current Gerrit issue / cannot push

[Michael Scherer]

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>