Labels

• bug

  bug

• changelog:chore

  changelog:chore

• changelog:feature

  changelog:feature

• changelog:fix

  changelog:fix

• changelog:none

  changelog:none

• dependencies

  dependencies

  Pull requests that update a dependency file

• dependent

  dependent

• documentation

  documentation

• enhancement

  enhancement

• feature_request

  feature_request

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• good first issue

  good first issue

• GSoC

  GSoC

  Google Summer of Code

• PR: draft

  PR: draft

• PR: merged

  PR: merged

• PR: partially-approved

  PR: partially-approved

• PR: reviewed-approved

  PR: reviewed-approved

• PR: reviewed-changes-requested

  PR: reviewed-changes-requested

• PR: unreviewed

  PR: unreviewed

• priority

  priority

• question

  question

• stale

  stale

• style

  style

• Testcase

  Testcase

  Pull request that introduces a new testcase

• You should click on this!

  You should click on this!

  Well, just click on that...