Le 23/01/14 10:35, Antoine Musso a écrit : > 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 :-] <snip>
Hello, I also found out that some files for VE were belonging to the root user which was preventing the extension from being properly updated. I fixed the permissions of VE directory and of its .git directory. Should be working now. -- Antoine "hashar" Musso _______________________________________________ QA mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/qa
