Page MenuHomePhabricator

Migrate mediawiki-config to Differential
Closed, DeclinedPublic

Description

A staged migration over a ~2 week period

Event Timeline

I can work on the following parts:

  • Replication to github
  • Creating the needed packages

Note that actually I need help for the gerrit part, because I'm not admin at gerrit.

Status: we may delay this repo to later in the process (ie: not Q4/this quarter). Still TBD.

demon added a subscriber: demon.