Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Globs in status and pr-status config directives #539
GitLab CI (when used with GitHub) doesn't always post exactly the same status identifier on every build, either including the builder name or the branch name, neither of which we want to hardcode in the bors.toml file (because the branch is different between staging and trying, and the builder name can vary randomly).
For a good workaround, we should allow the status to have a glob in its name, so that
For the initial implementation, there's no need to worry about big-O complexity, since few users have more than about five build statuses on a commit.