Page MenuHomePhabricator

Request membership in MediaWiki-extensions-JsonData group for robla
Closed, ResolvedPublic

Description

  • Gerrit username: robla
  • Gerrit repository: MediaWiki-extensions-JsonData
  • Reason: Keeping the repo from getting archived (T303132). It's been a long time since I've done much PHP development, but it doesn't seem THAT hard.

I'd like to have +2 on this repo

Event Timeline

+1 from me

If I understand https://www.mediawiki.org/wiki/Extension:JsonData correctly, robla is the author of the extension anyway.

"If there is a consensus of trusted developers on the Phabricator task, any of the Gerrit administrators can resolve the request." That would be someone listed in https://ldap.toolforge.org/group/gerritadmin

Mentioned in SAL (#wikimedia-releng) [2022-06-22T17:35:18Z] <taavi> gerrit: create group extension-JsonData with robla in it, make it an owner of mediawiki/extensions/JsonData per request in T303147

Done. Sorry for the delay!