We need a process and tools to triage GitHub issues.

Here's my initial proposal

The following needs to be true for an issue to be considered triaged

• It has one the labels ("bug", "question", "enhancement")
• It has a priority
• If its P0/P1 it should be added to a kanban board
• It has at least one "area" label

I will create a simple script that iterates over our issues and does the following

1. Adds untriaged issues to a project used for triaging issues

   • I think a project is better than a label because we can potentially use cards to keep track of an issue; e.g. if there is some question about an issue and it needs to be discussed at the community meeting

2. Add a comment on the issue explaining what criterion are missing for the issue to be considered triaged