Infrastructure

Therefore a suggestion: Change that "Report Bug" link to point to
https://redmine.documentfoundation.org/projects/infrastructure

Can you talk to Norbert (shm_get) about this? Gerrit is mainly "his
baby" ;-)

Also, please note that there is no category for "Gerrit" here on Redmine
issues (but there is one for Askbot, Pootle, etc.). Should one be created?

I just did so, but let's talk to Norbert whether to make use of it or not.

@Norbert: What do you think of this?

Sweet child you have there, by the way ;)

Norbert, would you be interested in upload the change on the server if someone makes a change to the repository or would you prefer to do it directly please? Otherwise, it could be an 'EasyHack'.