Labels

• bug

  bug

  The issue exposes a bug.

• closure-requested

  closure-requested

  The issue has been resolved and should be closed by the original author.

• dependencies

  dependencies

  Pull requests that update a dependency file

• duplicate

  duplicate

  The issue is a duplicate of another issue report.

• enhancement

  enhancement

  The report requests an enhancement beyond the intended behaviour.

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• invalid

  invalid

  The issue describes a behaviour that cannot be verified.

• not a bug

  not a bug

  The issue was reported as a bug, but has not turned out to be a bug.

• question

  question

  The issue report poses a question.

• verification-pending

  verification-pending

  The issue is likely resolved, expecting confirmation from original author

• wontfix

  wontfix

  The issue does not describe a behaviour that can be fixed.