Skip to content

No labels!

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

api
api
lints that check for code that reimplements parts of the api
bug
bug
Something isn't working
crash
crash
Something is crashing
D-easy
D-easy
Easy to implement.
dependencies
dependencies
Pull requests that update a dependency file
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
duplicate-code
duplicate-code
enhancement
enhancement
New feature or request
false-negative
false-negative
A lint should trigger on code that is wrong.
false-positive
false-positive
A lint triggers on something that is correct.
flork
flork
Issues that will be solved with the introduction of flork
github_actions
github_actions
Pull requests that update GitHub Actions code
github
github
Everything related to github and ci
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
java
java
Pull requests that update Java code
low-priority
low-priority
message
message
Messages that can be improved, are hard to understand or lack context
new-lint
new-lint
A new lint.
question
question
Further information is requested
testing
testing
Everything related to testing
unnecessary-complexity
unnecessary-complexity
unresolved
unresolved
Some decisions have not been made yet or it is not obvious what should be detected.
wontfix
wontfix
This will not be worked on