[MediaWiki-commits] [Gerrit] puppet: hook for easy pushing of branches from anywhere - change (operations/puppet)

2014-09-11 Thread Filippo Giunchedi (Code Review)
Filippo Giunchedi has uploaded a new change for review. https://gerrit.wikimedia.org/r/159720 Change subject: puppet: hook for easy pushing of branches from anywhere .. puppet: hook for easy pushing of branches from anywhere

[MediaWiki-commits] [Gerrit] puppet: hook for easy pushing of branches from anywhere - change (operations/puppet)

2014-09-11 Thread coren (Code Review)
coren has submitted this change and it was merged. Change subject: puppet: hook for easy pushing of branches from anywhere .. puppet: hook for easy pushing of branches from anywhere The idea is to be able to push a branch