Page MenuHomePhabricator

Migrate mediawiki-config to Differential
Closed, DeclinedPublic


A staged migration over a ~2 week period

Event Timeline

greg created this task.Mar 31 2016, 11:45 PM
greg added a project: MediaWiki-Configuration.
greg updated the task description. (Show Details)Mar 31 2016, 11:55 PM
Restricted Application added subscribers: JEumerus, Matanya. · View Herald TranscriptApr 1 2016, 12:02 AM
Luke081515 added a subscriber: Luke081515.EditedApr 1 2016, 12:37 AM

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.

Paladox added a subscriber: Paladox.Apr 1 2016, 1:33 AM
greg updated the task description. (Show Details)Apr 1 2016, 9:25 AM
Krenair added a subscriber: Krenair.Apr 5 2016, 7:37 PM
greg added a comment.Apr 8 2016, 3:10 PM

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

MarcoAurelio awarded a token.
demon closed this task as Declined.Mar 7 2018, 10:13 PM
demon added a subscriber: demon.