[MediaWiki-commits] [Gerrit] operations/puppet[production]: base::puppet: add ca_server setting when needed

2016-09-20 Thread Giuseppe Lavagetto (Code Review)
Giuseppe Lavagetto has submitted this change and it was merged. Change subject: base::puppet: add ca_server setting when needed .. base::puppet: add ca_server setting when needed Change-Id: Ic072bff9aa147aa5b505eb1ef8b3d68454d3

[MediaWiki-commits] [Gerrit] operations/puppet[production]: base::puppet: add ca_server setting when needed

2016-09-14 Thread Giuseppe Lavagetto (Code Review)
Giuseppe Lavagetto has uploaded a new change for review. https://gerrit.wikimedia.org/r/310497 Change subject: base::puppet: add ca_server setting when needed .. base::puppet: add ca_server setting when needed Change-Id: Ic07