Labels

• 🐛 bug

  This issue/PR relates to a bug.
• 🎲 dependencies
• 📝 documentation

  This issue/PR relates to or includes documentation.
• 🤖 bot
• approved
• automerge
• breaking

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

  An issue with the system 🐛.
• bugfix

  A PR that fixes a bug - 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

  A PR that adds to documentation - used by Release Drafter
• 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.
• pinned

  Used to avoid stale[bot] marking a issue/PR stale
• plugin-compatibility
• question

  Further information is requested
• release

  A release
• removed

  A PR that removes code - used by Release Drafter
• renovate

  Universal dependency update tool that fits into your workflows