Github PR label automation

Mark J Cox mark at
Wed Feb 12 08:22:25 UTC 2020

> Does it also check that the CI says that everything is OK?

Do we want it to?  I assumed that Approval: done was not being applied
unless tests past (but looking that's not always the case). Can we
assume that something in "approval: ready to merge" but that failed CI
won't get merged?  Otherwise I could add a CI check on the move to
"ready to merge".


More information about the openssl-project mailing list