Labels

• backport-to-stable

  backport-to-stable

  Label for PRs merged into main that should be cherry-picked onto stable too

• bug

  bug

  A label for issues that are bugs

• bugfix

  bugfix

  A label for PRs that fix a bug

• build-system

  build-system

  Label for PRs or issues related to the build system

• C language

  C language

  A label for issues or pull requests relating to the kernel module of the package

• ci

  ci

  Issues/PRs related to continuous integration (Azure Pipelines, GitHub Actions, AppVeyor, Codecov)

• dependencies

  dependencies

  Pull requests that update a dependency file

• difficulty: 0

  difficulty: 0

  A label for feature requests that should be easy

• difficulty: 1

  difficulty: 1

  A label for feature requests of moderate difficulty

• difficulty: 2

  difficulty: 2

  A label for feature requests of medium difficulty

• difficulty: 3

  difficulty: 3

  Label for feature requests that are probably rather hard

• difficulty: 4

  difficulty: 4

  A label for feature requests that are likely very hard

• do not merge

  do not merge

  A label for PRs that should not be merged for whatever reason.

• doc

  doc

  Issues, bugs, pull requests relating to the documentation

• duplicate

  duplicate

  A label for issues and PRs that are duplicates of others.

• enhancement

  enhancement

  A label for PRs that provide enhancements.

• error-messages

  error-messages

  A label for PRs or issues related to error messages

• feature-request

  feature-request

  A label for feature requests

• gap compatibility

  gap compatibility

  Label for PRs or issues related to compatibility with upcoming changes in GAP

• gap-days-brussels-2025

  gap-days-brussels-2025

  Label for things we might work on in Brussels

• gap-days-summer-2025-koper

  gap-days-summer-2025-koper

  Label for things we might/will/did work on in Koper, or that arose there

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• good-second-issue

  good-second-issue

  A label for issues that are good second time contributors

• help wanted

  help wanted

  A label for issues or PRs where help is wanted

• lint

  lint

  Label for PR/issues related to linting

• major

  major

  A label for PRs or issues that are major in some sense.

• merge-in-to-master

  merge-in-to-master

  A label for PRs that should be merged into the master branch

• minor

  minor

  A label for PRs or issues that are minor in some sense.

• new-feature

  new-feature

  A label for new features.

• newcomer-friendly

  newcomer-friendly

  A label for issues that someone thought might be friendly newcomers.