If you are sure a PR should go in and is just waiting for CI, just use the triage/waiting-for-ci label. It is a good hint for other committers. If you think a pull request is an essential part of a ...

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.