Add CI to Wikidata.org and WikimediaBadges extensions. After they moved to gerrit (T92520) we can now add them in the Wikimedia CI. (No integrations / tests were done to them on Github.)
Description
Description
Details
Details
Subject | Repo | Branch | Lines +/- | |
---|---|---|---|---|
Add WikimediaBadges and Wikidata.org extensions | integration/config | master | +12 -0 |
Status | Subtype | Assigned | Task | ||
---|---|---|---|---|---|
Invalid | None | T108946 [Epic] Improve the development infrastructure | |||
Resolved | JanZerebecki | T107834 [Task] change phpunit CI job for Wikidata.org to use composer | |||
Resolved | None | T90303 Fetch dependencies using composer instead of cloning mediawiki/vendor for non-wmf branches | |||
Resolved | JanZerebecki | T106433 replace inline perl in builder wd-mw-composer-merged-install with a proper script | |||
Resolved | Krinkle | T112895 Support installing composer require-dev packages together with mediawiki/vendor |
Event Timeline
Comment Actions
Change 232445 had a related patch set uploaded (by Aude):
Add WikimediaBadges and Wikidata.org extensions
Comment Actions
https://gerrit.wikimedia.org/r/#/c/229199/ remains unmerged (and thus not in this weeks deployment branch) because there is no gate and submit and it's not obvious to reviewers that they have to press submit.
would be nice to have the CI jobs added so we can reapply the +2 and have jenkins merge this.
Comment Actions
WikimediaBadges works, but Wikidata.org needs a dependency on Wikibase and the job needs to be changed to use composer.