This repository was archived by the owner on Sep 9, 2025. It is now read-only.
Repository navigation
This repository was archived by the owner on Sep 9, 2025. It is now read-only.
Document how we use GitHub labels #405
Description
We've decided to use GitHub issues more to track discussions and work in progress in the TAG, and we've chosen some labels to help us organize things. This issue is to ask us to document how we currently use GitHub labels, perhaps in the repo's CONTRIBUTING.md doc, so newcomers can understand them quickly and existing users can suggest improvements.
Activity