[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: group2 to wmf.10

2017-11-30 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/394389 ) Change subject: group2 to wmf.10 .. group2 to wmf.10 Change-Id: Ibdd246b0ac7ec80f3d30e980ae0a6a52f5d603e5 --- M

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: group2 to wmf.10

2017-11-30 Thread Chad (Code Review)
Chad has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/394389 ) Change subject: group2 to wmf.10 .. group2 to wmf.10 Change-Id: Ibdd246b0ac7ec80f3d30e980ae0a6a52f5d603e5 --- M wikiversions.json 1 file

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: group2 to wmf.10

2017-07-20 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/366597 ) Change subject: group2 to wmf.10 .. group2 to wmf.10 Change-Id: I59166321d19330d4b9162fe2e52d8448854c4c1f --- M

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: group2 to wmf.10

2017-07-20 Thread Chad (Code Review)
Chad has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/366597 ) Change subject: group2 to wmf.10 .. group2 to wmf.10 Change-Id: I59166321d19330d4b9162fe2e52d8448854c4c1f --- M wikiversions.json 1 file