Closed Emilgardis closed 9 months ago
this pr implements part of #1249
We now use merge queues, which work in a similar way, except there is no batching of prs.
ehm, interesting, that shouldn't have merged...
this pr implements part of #1249
We now use merge queues, which work in a similar way, except there is no batching of prs.