[MediaWiki-commits] [Gerrit] operations/puppet[production]: releases: Add wikidiff2 directory

2016-08-30 Thread Dzahn (Code Review)
Dzahn has submitted this change and it was merged. Change subject: releases: Add wikidiff2 directory .. releases: Add wikidiff2 directory This allows MediaWiki releasers to upload releases for the wikidiff2 PHP extension.

[MediaWiki-commits] [Gerrit] operations/puppet[production]: releases: Add wikidiff2 directory

2016-08-30 Thread Legoktm (Code Review)
Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/307650 Change subject: releases: Add wikidiff2 directory .. releases: Add wikidiff2 directory This allows MediaWiki releasers to upload releases