Labels

• 🐛 bug

  This issue/PR relates to a bug.
• 👥 duplicate
• 🎲 dependencies
• 📣 feedback
• 📝 docs

  This issue/PR relates to or includes documentation.
• 📝 documentation

  This issue/PR relates to or includes documentation.
• 🤖 bot
• 🚀 future maybe
• ✨ enhancement

  This issue/PR relates to a feature request.
• approved
• automerge
• breaking

  A PR that is a breaking change - used by Release Drafter
• bug

  Something isn't working
• bugfix

  A PR that fixes a bug - used by Release Drafter
• chore

  a PR that adds to maintenance - used by Release Drafter
• dependencies

  A PR that updates dependencies - used by Release Drafter
• deprecated

  A PR that deprecates code - used by Release Drafter
• dev-tools

  JCasC Community Bridge Dev-Tools Project
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• gate

  Gate PR in Zuul CI
• good first issue

  Good for newcomers
• hackathon
• hacktoberfest

  Hacktoberfest. https://jenkins.io/blog/2018/10/01/hacktoberfest/
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• major

  Marks an important and likely breaking change.
• packaging

  Packaging category
• performance

  Relates to product or testing performance.