Labels

• blocked
• community

  Pull Requests and issues created by the community.
• customer-reported
• dependencies

  Pull requests that update a dependency file
• docs

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• java

  Pull requests that update Java code
• p0-critical
• p1-high
• p2-medium
• p3-low
• question

  Further information is requested
• roadmap
• upstream

  An upstream issue of JetBrains or other dependency.
• waiting-for-info
• wontfix

  This will not be worked on