On 5/19/23 02:18, Peter Maydell wrote:
On Thu, 18 May 2023 at 20:27, Richard Henderson <richard.hender...@linaro.org> wrote:So, here we are again, out of runner time with 13 days left in the month.This is quite early -- have you been processing pull requests strictly one at a time, or in (small) batches ?
Mostly one at a time, because most pull requests have had errors. Every single time I've tried to batch them this month it has been futile.
r~
