[MediaWiki-commits] [Gerrit] operations/puppet[production]: Fix indentation of Gerrit downtime page

2017-06-02 Thread Dzahn (Code Review)
Dzahn has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/356478 ) Change subject: Fix indentation of Gerrit downtime page .. Fix indentation of Gerrit downtime page Failing in style. Change-Id:

[MediaWiki-commits] [Gerrit] operations/puppet[production]: Fix indentation of Gerrit downtime page

2017-05-31 Thread Code Review
Bartosz Dziewoński has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/356478 ) Change subject: Fix indentation of Gerrit downtime page .. Fix indentation of Gerrit downtime page Failing in style.