Approved labeling should wait for green status checks

[lleger]

Even if a status check fails on Github, we still apply the ready-to-merge label. Realistically, the PR won’t be ready to merge until it passes. We should probably wait until the status checks pass to apply the label.