I don't want to auto-archive anything, but I want to highlight the important stuff using labels. What's important?
- My PRs – "Author" label
- My team's PRs (over other teams') – "CPLAN" label (see caveats)
- Bumped PRs – "❗️" label
- PRs that directly mention me (over mentioning a team I'm on) – "Mentioned" label