Stashbot added a comment.
Mentioned in SAL (#wikimedia-operations) [2017-09-13T18:25:00Z] Synchronized docroot/mediawiki/ontology/: Add setup for https://www.mediawiki.org/ontology T171807 (duration: 00m 49s)TASK DETAILhttps://phabricator.wikimedia.org/T171807EMAIL PREFERENCEShttps://phabricator.w
gerritbot added a comment.
Change 368120 merged by jenkins-bot:
[operations/mediawiki-config@master] Add setup for https://www.mediawiki.org/ontology
https://gerrit.wikimedia.org/r/368120TASK DETAILhttps://phabricator.wikimedia.org/T171807EMAIL PREFERENCEShttps://phabricator.wikimedia.org/settings
gerritbot added a comment.
Change 377358 merged by jenkins-bot:
[operations/mediawiki-config@master] Add more wikis to the list of the dumped
https://gerrit.wikimedia.org/r/377358TASK DETAILhttps://phabricator.wikimedia.org/T171807EMAIL PREFERENCEShttps://phabricator.wikimedia.org/settings/panel/e
gerritbot added a comment.
Change 377358 had a related patch set uploaded (by Smalyshev; owner: Smalyshev):
[operations/mediawiki-config@master] Add more wikis to the list of the dumped.
https://gerrit.wikimedia.org/r/377358TASK DETAILhttps://phabricator.wikimedia.org/T171807EMAIL PREFERENCEShttps
gerritbot added a comment.
Change 368120 had a related patch set uploaded (by Smalyshev; owner: Smalyshev):
[operations/mediawiki-config@master] Add setup for https://www.mediawiki.org/ontology
https://gerrit.wikimedia.org/r/368120TASK DETAILhttps://phabricator.wikimedia.org/T171807EMAIL PREFERENC