On May 13, 2020, at 17:13, David Kastrup <d...@gnu.org> wrote: >>> At the current point of time, our pipeline does not tend to be all that >>> full I think. We are not at Linux kernel levels of participation... >> >> No, you're probably right. It's only a bit more bothersome if you have >> multiple changes to submit from the same countdown. > > The real problem starts when people don't manage to get their patch in > because the pipeline is always busy. But if we are there, the free CI > plan will most certainly not do the trick anymore.
One thing is clear: we need to make sure we don't abuse James' generosity, so I'm willing to try whatever system you think will be the fairest all around, even if it might be a bit "bothersome" as an individual submitter from time to time. — Dan