[MediaWiki-commits] [Gerrit] Allow jenkins admins to manage replicated git repos - change (operations/puppet)

2013-04-12 Thread Lcarr (Code Review)
Lcarr has submitted this change and it was merged. Change subject: Allow jenkins admins to manage replicated git repos .. Allow jenkins admins to manage replicated git repos We replicate all repositories from manganese to galli

[MediaWiki-commits] [Gerrit] Allow jenkins admins to manage replicated git repos - change (operations/puppet)

2013-04-11 Thread Demon (Code Review)
Demon has uploaded a new change for review. https://gerrit.wikimedia.org/r/58692 Change subject: Allow jenkins admins to manage replicated git repos .. Allow jenkins admins to manage replicated git repos Change-Id: I71837aa8