[MediaWiki-commits] [Gerrit] admin: remove mholloway's ssh key - change (operations/puppet)

Dzahn has uploaded a new change for review. https://gerrit.wikimedia.org/r/252431 Change subject: admin: remove mholloway's ssh key .. admin: remove mholloway's ssh key The laptop is going in for repair, so deactivating this

[MediaWiki-commits] [Gerrit] admin: remove mholloway's ssh key - change (operations/puppet)

Dzahn has submitted this change and it was merged. Change subject: admin: remove mholloway's ssh key .. admin: remove mholloway's ssh key The laptop is going in for repair, so deactivating this key by request. Bug:T118392