Rollup merge of #150996 - bors-merged-label, r=jieyouxu

Remove `S-waiting-on-bors` after a PR is merged

I just noticed that we have 50k+ PRs marked as waiting on bors, even though they have been merged, lol.
This commit is contained in:
Matthias Krüger 2026-01-12 13:32:13 +01:00 committed by GitHub
commit db4c095147
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -55,7 +55,8 @@ try_failed = [
"-S-waiting-on-crater"
]
auto_build_succeeded = [
"+merged-by-bors"
"+merged-by-bors",
"-S-waiting-on-bors"
]
auto_build_failed = [
"+S-waiting-on-review",