Currently, only approved PRs can trigger CI. However, this is unpractical because I often LGTM things to see what’s the state in CI (sorry, I’m lazy).
Is it possible to improve our automation to know on which commit the request-ci label was applied to, and if this was applied by a collaborator, trust it?