Hello, MediaWiki extensions are updated on the beta cluster by pulling the mediawiki/extensions.git repository. Beginning of January, the VisualEditor extension was no more being updated [BUG 49846].
I eventually managed to get a [JENKINS JOB] to dynamically update mediawiki/extensions.git whenever a change is merged VisualEditor. It is working as a few minutes ago :-] Example merge: https://gerrit.wikimedia.org/r/#/c/109113/ [BUG 49846] https://bugzilla.wikimedia.org/show_bug.cgi?id=49846 [JENKINS JOB] https://integration.wikimedia.org/ci/job/mwext-VisualEditor-sync-gerrit/ -- Antoine "hashar" Musso _______________________________________________ QA mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/qa
