[MediaWiki-commits] [Gerrit] deployment: add redis socket_connect_timeout - change (operations/puppet)

2015-11-24 Thread Filippo Giunchedi (Code Review)
Filippo Giunchedi has submitted this change and it was merged. Change subject: deployment: add redis socket_connect_timeout .. deployment: add redis socket_connect_timeout "backport" patch from https://github.com/trebuchet-depl

[MediaWiki-commits] [Gerrit] deployment: add redis socket_connect_timeout - change (operations/puppet)

2015-11-19 Thread Filippo Giunchedi (Code Review)
Filippo Giunchedi has uploaded a new change for review. https://gerrit.wikimedia.org/r/254128 Change subject: deployment: add redis socket_connect_timeout .. deployment: add redis socket_connect_timeout "backport" patch from