Labels

• back-burner

  back-burner

  Something that we could get to on a rainy day. Items may be closed in this state and re-opened later

• bug

  bug

  A confirmed bug, that we should fix

• dependencies

  dependencies

  Pull requests that update a dependency file

• duplicate

  duplicate

  This is a duplicate issue or root-cause of another issue

• fixed

  fixed

  An {bug|improvement} that has been {fixed|implemented}

• fuzz

  fuzz

  An issue found by the OSS Fuzz project

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• improvement

  improvement

  An improvement / new feature idea

• java

  java

  Pull requests that update Java code

• needs-more-info

  needs-more-info

  More information is needed from the reporter to progress the issue

• no-repro

  no-repro

  Unable to reproduce the reported issue

• not-a-bug

  not-a-bug

  This issue is not a bug; it is working as per spec

• planned

  planned

  Things to get to in the near term