Hashar has uploaded a new change for review. Change subject: add Diff extension to Wikidata build ......................................................................
add Diff extension to Wikidata build Jeroen wrote: We moved some code into it's own extension which is now in it's own repository. We need a checkout of this extension for the Wikibase stuff to work. So this will require some config change on the jenkins setup. * https://gerrit.wikimedia.org/r/#/c/16839/ * https://gerrit.wikimedia.org/r/#/c/16840/ Change-Id: I56db3ace90c44f6012634df14c3158dd74753717 --- M jobs/_shared/build.xml 1 file changed, 2 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/integration/jenkins refs/changes/52/16852/1 -- To view, visit https://gerrit.wikimedia.org/r/16852 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I56db3ace90c44f6012634df14c3158dd74753717 Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Hashar <has...@free.fr> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits