...
meta-issue: this issue is an aggregation of many other issues.
do-not-merge: this PR label blocks bors from merging a PR
first-pr: applied to a contributor’s first PR to CRDB
fixitday: bugs fixed during a fixitday event
Finally, there’s no category for the team that an issue relates to. That’s because GitHub projects are a useful way to organize issues by team, and having a label per-team seems like duplicate categorization and more overhead than necessary.