Skip to content

No labels!

There aren’t any labels for this repository quite yet.

20 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
4
duplicate
duplicate
This issue or pull request already exists
easy difficulty
easy difficulty
Very easy
22
enhancement
enhancement
New feature or request
1
error messages
error messages
bad/misleading/missing error messages
5
good first issue
good first issue
Good for newcomers
1
hard difficulty
hard difficulty
18
help wanted
help wanted
Extra attention is needed
high priority
high priority
High priority
22
invalid
invalid
This doesn't seem right
low priority
low priority
Low priority
17
medium difficulty
medium difficulty
19
medium priority
medium priority
Priority: intermediate
20
needs: more discussion
needs: more discussion
10
needs: MWE
needs: MWE
1
needs: rebase
needs: rebase
needs: Rocq feature
needs: Rocq feature
2
question
question
Further information is requested
urgent priority
urgent priority
3
wontfix
wontfix
This will not be worked on