Skip to content

No labels!

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

community
community
Pull Requests and issues created by the community.
dependencies
dependencies
Pull requests that update a dependency file
docs
docs
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
github_actions
github_actions
Pull requests that update GitHub Actions code
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
p0-critical
p0-critical
question
question
Further information is requested
upstream
upstream
An upstream issue of JetBrains or other dependency.
waiting-for-info
waiting-for-info
wontfix
wontfix
This will not be worked on