> check. It will not move to 'ready to merge' state automatically > unless (or until) all CI passes. (I'll do a PR for the tool with that > change shortly).
If the does not automatically remove the "ready to merge" label, but only refrains from setting it automatically, that's a good compromise I can live with. Matthias
