Commit 2025-06-09 04:10 18fc2693

chore: let bors merge PRs from forks (#25614) Currently bors requires status checks named "Build" and "Lint Style" to succeed before it will merge a PR; however, for PRs from forks, the status checks are named "Build (fork)" and "Lint Style (fork)". To solve this, we create a no-op job downstream from the two jobs with the name "CI Success" and make bors wait for that instead. We also remove build_status.yml, which was added in #25518. That approach got stuck on the fact that "Build status" seems to have never appeared as a status check on any PR. My guess is this is because GitHub isn't smart enough to associate that workflow back to the original PR / commit, as opposed to a job in a workflow triggered by pull_request_target or push etc. In principle we could have done some stuff with the GitHub API to fix this, but the approach here seems easier.