[MediaWiki-commits] [Gerrit] move mediawiki maintenance scripts to module - change (operations/puppet)

2015-09-15 Thread Dzahn (Code Review)
Dzahn has submitted this change and it was merged. Change subject: move mediawiki maintenance scripts to module .. move mediawiki maintenance scripts to module - delete misc/maintenance.pp because we want to get rid of the

[MediaWiki-commits] [Gerrit] move mediawiki maintenance scripts to module - change (operations/puppet)

2014-12-10 Thread Dzahn (Code Review)
Dzahn has uploaded a new change for review. https://gerrit.wikimedia.org/r/178873 Change subject: move mediawiki maintenance scripts to module .. move mediawiki maintenance scripts to module - kill misc/maintenance.pp