[MediaWiki-commits] [Gerrit] puppet: hook for easy pushing of branches from anywhere - change (operations/puppet)
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)
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