Re: upgrading gerrit in a few minutes