Github PR label automation

Dr. Matthias St. Pierre Matthias.St.Pierre at
Wed Feb 12 10:39:16 UTC 2020

> 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.


More information about the openssl-project mailing list