[22:58:51] <wikibugs>	 (03CR) 10DannyS712: [C: 03+2] Use Maintenance::set/getBatchSize in maintenance scripts [extensions/Echo] - 10https://gerrit.wikimedia.org/r/650222 (owner: 10Umherirrender)
[23:20:48] <wikibugs>	 (03Merged) 10jenkins-bot: Use Maintenance::set/getBatchSize in maintenance scripts [extensions/Echo] - 10https://gerrit.wikimedia.org/r/650222 (owner: 10Umherirrender)