Extension:GerritTools

This extension will add special pages and such for requesting new repos and possibly other fun gerrit things too.