[MediaWiki-commits] [Gerrit] Tools: Split local apt repository by OS release - change (operations/puppet)

2015-03-08 Thread Yuvipanda (Code Review)
Yuvipanda has submitted this change and it was merged. Change subject: Tools: Split local apt repository by OS release .. Tools: Split local apt repository by OS release Currently instances running Ubuntu Precise and Ubuntu

[MediaWiki-commits] [Gerrit] Tools: Split local apt repository by OS release - change (operations/puppet)

2015-03-07 Thread Tim Landscheidt (Code Review)
Tim Landscheidt has uploaded a new change for review. https://gerrit.wikimedia.org/r/195079 Change subject: Tools: Split local apt repository by OS release .. Tools: Split local apt repository by OS release Currently