[MediaWiki-commits] [Gerrit] operations/puppet[production]: Add types to some fields used by nginx

2017-10-25 Thread Gehel (Code Review)
Gehel has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/386317 ) Change subject: Add types to some fields used by nginx .. Add types to some fields used by nginx That would help doing proper checks

[MediaWiki-commits] [Gerrit] operations/puppet[production]: Add types to some fields used by nginx

2017-10-24 Thread Smalyshev (Code Review)
Smalyshev has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/386317 ) Change subject: Add types to some fields used by nginx .. Add types to some fields used by nginx That would help doing proper checks and