[MediaWiki-commits] [Gerrit] Tools: Restart bigbrother when source changes - change (operations/puppet)

2015-02-25 Thread Yuvipanda (Code Review)
Yuvipanda has submitted this change and it was merged. Change subject: Tools: Restart bigbrother when source changes .. Tools: Restart bigbrother when source changes Change-Id: I3eac8c671248953861d825ac805ac34f09134129 --- M mo

[MediaWiki-commits] [Gerrit] Tools: Restart bigbrother when source changes - change (operations/puppet)

2015-02-25 Thread Tim Landscheidt (Code Review)
Tim Landscheidt has uploaded a new change for review. https://gerrit.wikimedia.org/r/193055 Change subject: Tools: Restart bigbrother when source changes .. Tools: Restart bigbrother when source changes Change-Id: I3eac8c6712