Labels

related to all contributors

Everything added by the all-contributors bot

Something isn't working

An apparent bug that is intentional.

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Good for newcomers

Extra attention is needed

This doesn't seem right

for stale to not label an issue as stale

a stale issue

for mergify to merge

for mergify to update

needs more information

a pr that is approved, which normally means it is good to merge

for prs that have had changes requested

Do not merge any pr with this label

for prs that need review

a stale pr

High Priority Fix

Does not currently require much attention

Needs attention but not much

Needs attention right away

A question posted as an issue or discussion

This will not be worked on