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` 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.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
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:
docsanddocumentation->docscategoryops->opscategoryNot 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.