Labels

• blocked

  blocked

• community

  community

  Pull Requests and issues created by the community.

• customer-reported

  customer-reported

• 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

• Improvement

  Improvement

• invalid

  invalid

  This doesn't seem right

• java

  java

  Pull requests that update Java code

• jetbrains-toolbox

  jetbrains-toolbox

• p0-critical

  p0-critical

• p1-high

  p1-high

• p2-medium

  p2-medium

• p3-low

  p3-low

• question

  question

  Further information is requested

• roadmap

  roadmap

• upstream

  upstream

  An upstream issue of JetBrains or other dependency.

• waiting-for-info

  waiting-for-info

• wontfix

  wontfix

  This will not be worked on