Unnamed repository; edit this file 'description' to name the repository.
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.
