For contributions from Gitea and Github, we should parse the labels some more and change the category from dev to something more appropriate for the labels we think make sense. To start with, I'd propose:
docs and documentation -> docs category
ops -> ops category
Not sure what makes sense for design, but I'm sure it would be useful to have some labels for that be turned into the category as well.
For contributions from Gitea and Github, we should parse the labels some more and change the category from dev to something more appropriate for the labels we think make sense. To start with, I'd propose:
docs
anddocumentation
->docs
categoryops
->ops
categoryNot sure what makes sense for
design
, but I'm sure it would be useful to have some labels for that be turned into the category as well.