[MediaWiki-commits] [Gerrit] operations/puppet[production]: Switch primary deployment server from tin to mira
Muehlenhoff has submitted this change and it was merged. Change subject: Switch primary deployment server from tin to mira .. Switch primary deployment server from tin to mira tin will be reimaged to Jessie. Switch the primary
[MediaWiki-commits] [Gerrit] operations/puppet[production]: Switch primary deployment server from tin to mira
Hashar has uploaded a new change for review. https://gerrit.wikimedia.org/r/315205 Change subject: Switch primary deployment server from tin to mira .. Switch primary deployment server from tin to mira tin will be reimaged to