[MediaWiki-commits] [Gerrit] operations/puppet[production]: gerritbot: bolden `merged` on Phabricator comments

2017-12-06 Thread Dzahn (Code Review)
Dzahn has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/394748 ) Change subject: gerritbot: bolden `merged` on Phabricator comments .. gerritbot: bolden `merged` on Phabricator comments Bug:

[MediaWiki-commits] [Gerrit] operations/puppet[production]: gerritbot: bolden `merged` on Phabricator comments

2017-12-02 Thread MarcoAurelio (Code Review)
MarcoAurelio has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/394748 ) Change subject: gerritbot: bolden `merged` on Phabricator comments .. gerritbot: bolden `merged` on Phabricator comments Bug: T181886