[22:42:40] <wikibugs>	 (03PS1) 10Umherirrender: Use Maintenance::set/getBatchSize in maintenance scripts [extensions/ORES] - 10https://gerrit.wikimedia.org/r/653205
[22:47:10] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] Use Maintenance::set/getBatchSize in maintenance scripts [extensions/ORES] - 10https://gerrit.wikimedia.org/r/653205 (owner: 10Umherirrender)
[22:49:30] <wikibugs>	 (03PS2) 10Umherirrender: Use Maintenance::set/getBatchSize in maintenance scripts [extensions/ORES] - 10https://gerrit.wikimedia.org/r/653205