Labels

• area/github-action
• 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
• github

  software development and version control
• 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
• kind/bug

  Something isn't working
• kind/chore

  Non feature change
• kind/dependencies

  Pull requests that update a dependency file
• kind/docs

  Non feature documentation change
• kind/feature

  New feature
• kind/fix

  Fix a bug
• kind/github
• kind/github-action
• kind/question

  Generic question
• kind/refactor
• kind/security