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.
Description
Description
Details
Details
Subject | Repo | Branch | Lines +/- | |
---|---|---|---|---|
add wikitech to mediawiki import sources | operations/mediawiki-config | master | +1 -1 |
Event Timeline
Comment Actions
Change 649874 had a related patch set uploaded (by ArielGlenn; owner: ArielGlenn):
[operations/mediawiki-config@master] add wikitch to mediawiki import sources
Comment Actions
Change 649874 merged by jenkins-bot:
[operations/mediawiki-config@master] add wikitech to mediawiki import sources
Comment Actions
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)