Thank you Antoine!
On 1/23/14, 10:35 AM, Antoine Musso wrote:
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/
_______________________________________________ QA mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/qa
