Re: [Wikitech-l] Gerrit downtime - Thursday, July 18th