Change Details

get rid of misc/maintenance.pp in the puppet repo. we want to kill the entire misc/ if possible. this is one of the bigger ones left. maintenance.pp contains all those mw related scripts and crons. so move them into the mediawiki module instead of sitting here in /misc unrelated. patch for that here https://gerrit.wikimedia.org/r/#/c/178873/ could platform engineering / Ori / Reedy / anyone take a look ?

we would like to get rid of the entire 'misc' directory in the operations/puppet repo. misc/maintenance.pp is one of the bigger ones left. maintenance.pp contains all those mw related scripts and crons. so the idea is to move them into the mediawiki module instead of sitting here in /misc unrelated. i started a patch for that here https://gerrit.wikimedia.org/r/#/c/178873/ could platform engineering / Ori / Reedy / anyone take a look ? this feels a bit touchy because it can potentially influence all the maintenance crons at once. also, is this a good moment to check if any of these scripts are not being used anymore that can be removed?

get rid of misc/maintenance.pp in the puppet repo. we want to kill the entire misc/ if possible. this is one of the bigger ones leftwe would like to get rid of the entire 'misc' directory in the operations/puppet repo. maintenance.pp contains all those mw related scripts and crons. so move them into the mediawiki module instead of sitting here in /misc unrelatedisc/maintenance.pp is one of the bigger ones left. maintenance.pp contains all those mw related scripts and crons. so the idea is to move them into the mediawiki module instead of sitting here in /misc unrelated. i started a patch for that here https://gerrit.wikimedia.org/r/#/c/178873/ could platform engineering / Ori / Reedy / anyone take a look ? this feels a bit touchy because it can potentially influence all the maintenance crons at once. also, is this a good moment to check if any of these scripts are not being used anymore that can be removed?