gerrit service restart

Hi everyone, As you may have noticed, Gerrit is slow to respond today. I will restart the service in a few minutes to address that so if you get some failures while trying to fetch/push/review patches please re-try in a few minutes. -- Regards, Evgheni Dereveanchin