Labels

• blocked

  An issue that's blocked on an external project change
• bug

  A general bug
• dependencies

  Pull requests that update a dependency file
• documentation

  A documentation update
• enhancement

  A general enhancement
• github_actions

  Pull requests that update GitHub Actions code
• invalid

  An issue that could not be done
• java

  Pull requests that update java code
• security

  Pull requests that address a security vulnerability
• task

  A general task
• waiting-for-feedback

  Further information is requested