[MediaWiki-commits] [Gerrit] adding new employee Mikhail Popov to discovery hosts - change (operations/puppet)

RobH has submitted this change and it was merged. Change subject: adding new employee Mikhail Popov to discovery hosts .. adding new employee Mikhail Popov to discovery hosts Adding Mikhail's user to shell access and related

[MediaWiki-commits] [Gerrit] adding new employee Mikhail Popov to discovery hosts - change (operations/puppet)

RobH has uploaded a new change for review. https://gerrit.wikimedia.org/r/227877 Change subject: adding new employee Mikhail Popov to discovery hosts .. adding new employee Mikhail Popov to discovery hosts Adding Mikhail's