Re: no more pullreq processing til February

[Peter Maydell]

On Fri, 27 Jan 2023 at 12:39, Kevin Wolf <kwolf@redhat.com> wrote:
> If it worked well enough for Stefan, I think it would be worth trying to
> batch some pull requests going forward. What is the downside of it? If
> CI fails and flaky tests seem to be at fault, I assume you just re-run
> the job, no matter whether it tests a single pull request or two or
> three of them?

In defence of "don't roll up multiple pullreqs", both the
pullreqs I have tried to merge so far today have had different
kinds of CI failure, so doing them in combination either
with each other or with other pullreqs would have been
counter-productive...

thanks
-- PMM