Labels

• bug

  Something isn't working
• code-quality

  Code quality improvements
• dependencies

  Pull requests that update a dependency file
• dev-ops

  DevOps issues
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• good-first-issue

  Good for newcomers
• help-wanted

  Extra attention is needed
• infra

  Issues dealing with an infrastructure
• new-bot

  New bot description
• question

  Further information is requested
• tech-debt

  Technical debt in a broad sense
• wontfix

  This will not be worked on