Labels

• bug

  Something isn't working
• debug
• dependencies

  Pull requests that update a dependency file
• duplicate
• enhancement
• good first issue

  Good for newcomers
• help wanted
• javascript

  Pull requests that update javascript code
• needs more information
• neeeds more information
• presentation-compiler
• security

  Pull requests that address a security vulnerability
• tech debt
• UX

  Usability improvement
• wait for merge in Metals
• wait for Metals release
• wontfix

  This will not be worked on