- https://gerrit.wikimedia.org/r/admin/repos/mediawiki/libs,access
- https://gerrit.wikimedia.org/r/admin/repos/mediawiki/extensions,access
Though it's nice in theory for V+1/V+2/submit to only be open to bots, in the real world that's not always possible due to CI issues. The mediawiki group are generally given force-merge abilities, and we should repeat that pattern here.