If a PR is approved before PR CI is green, and later PR CI fails, we should unapprove the PR. Note that this wouldn't be needed if https://github.com/rust-lang/bors/issues/60 would become a hard requirement.
If a PR is approved before PR CI is green, and later PR CI fails, we should unapprove the PR.
Note that this wouldn't be needed if #60 would become a hard requirement.