[MediaWiki-commits] [Gerrit] Add WikiGrok - change (integration/config)
jenkins-bot has submitted this change and it was merged. Change subject: Add WikiGrok .. Add WikiGrok Change-Id: I0472dcd0ae258d330e4c13334125cd3a29b5b86d --- M jjb/mediawiki-extensions.yaml M zuul/layout.yaml 2 files changed,
[MediaWiki-commits] [Gerrit] Add WikiGrok - change (integration/config)
MaxSem has uploaded a new change for review. https://gerrit.wikimedia.org/r/169551 Change subject: Add WikiGrok .. Add WikiGrok Change-Id: I0472dcd0ae258d330e4c13334125cd3a29b5b86d --- M zuul/layout.yaml 1 file changed, 5