[MediaWiki-commits] [Gerrit] oliver's new ssh key - change (operations/puppet)

RobH has submitted this change and it was merged. Change subject: oliver's new ssh key .. oliver's new ssh key pulled off his officewiki userpage, updating since he had his old key revoked last week (per his request)

[MediaWiki-commits] [Gerrit] oliver's new ssh key - change (operations/puppet)

RobH has uploaded a new change for review. https://gerrit.wikimedia.org/r/223841 Change subject: oliver's new ssh key .. oliver's new ssh key pulled off his officewiki userpage, updating since he had his old key revoked last