Page MenuHomePhabricator

Add wikitech to import sources for mediawiki
Closed, ResolvedPublic

Description

We already have imports from mediawiki to wikitech enabled, but it would be nice to go the other way, and in fact I have some docs over on wikitech that I would like to be able to pull in and modify for dumps-related docs.

Event Timeline

Change 649874 had a related patch set uploaded (by ArielGlenn; owner: ArielGlenn):
[operations/mediawiki-config@master] add wikitch to mediawiki import sources

https://gerrit.wikimedia.org/r/649874

Change 649874 merged by jenkins-bot:
[operations/mediawiki-config@master] add wikitech to mediawiki import sources

https://gerrit.wikimedia.org/r/649874

Mentioned in SAL (#wikimedia-operations) [2020-12-17T19:21:20Z] <urbanecm@deploy1001> Synchronized wmf-config/InitialiseSettings.php: 87cce8411f87a9668b47c0f5ff692fdc96e6255a: add wikitech to mediawiki import sources (T270284) (duration: 01m 04s)

Urbanecm claimed this task.
Urbanecm subscribed.

Took the liberty to finish this one. Enjoy!