[Gluster-devel] Current Gerrit issue / cannot push

2020-10-06 Thread Michael Scherer
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. -- Michael Scherer / He/Il/Er/Él Sysadmin, Community Infrastructure signature.asc Description: This is a digitally signed message part __

Re: [Gluster-devel] Current Gerrit issue / cannot push

2020-10-06 Thread 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