Reminder that at some point we need to stop allowing humans to add
labels via github's UI, and instead drive changes through this file.