[MediaWiki-commits] [Gerrit] operations/puppet[production]: Switch primary deployment server from tin to mira

2016-10-11 Thread Muehlenhoff (Code Review)
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

2016-10-11 Thread Hashar (Code Review)
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