[MediaWiki-commits] [Gerrit] operations/puppet[production]: varnish: add varnish-fe restart script

2016-09-21 Thread Ema (Code Review)
Ema has submitted this change and it was merged. Change subject: varnish: add varnish-fe restart script .. varnish: add varnish-fe restart script varnish-frontend-restart is a script to depool, restart and repool a varnish

[MediaWiki-commits] [Gerrit] operations/puppet[production]: varnish: add varnish-fe restart script

2016-09-19 Thread Ema (Code Review)
Ema has uploaded a new change for review. https://gerrit.wikimedia.org/r/311387 Change subject: varnish: add varnish-fe restart script .. varnish: add varnish-fe restart script varnish-frontend-restart is a script to depool,

[MediaWiki-commits] [Gerrit] operations/puppet[production]: varnish: add varnish-be restart script

2016-09-16 Thread Ema (Code Review)
Ema has submitted this change and it was merged. Change subject: varnish: add varnish-be restart script .. varnish: add varnish-be restart script varnish-backend-restart is a script to depool, restart and repool a varnish

[MediaWiki-commits] [Gerrit] operations/puppet[production]: varnish: add varnish-be restart script

2016-09-16 Thread Ema (Code Review)
Ema has uploaded a new change for review. https://gerrit.wikimedia.org/r/39 Change subject: varnish: add varnish-be restart script .. varnish: add varnish-be restart script varnish-backend-restart is a script to depool,