It seems that we should try to do something about Gerrit releases as we often forget them, see: https://github.com/git/git.github.io/pull/310