Labels

• bug

  A label for issues that are bugs
• bugfix

  A label for PRs that fix a bug
• build-system

  Label for PRs or issues related to the build system
• C language

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

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

  Pull requests that update a dependency file
• difficulty: 0

  A label for feature requests that should be easy
• difficulty: 1

  A label for feature requests of moderate difficulty
• difficulty: 2

  A label for feature requests of medium difficulty
• difficulty: 3

  Label for feature requests that are probably rather hard
• difficulty: 4

  A label for feature requests that are likely very hard
• do not merge

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

  Issues, bugs, pull requests relating to the documentation
• duplicate

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

  A label for PRs that provide enhancements.
• error-messages

  A label for PRs or issues related to error messages
• feature-request

  A label for feature requests
• gap compatibility

  Label for PRs or issues related to compatibility with upcoming changes in GAP
• gap-days-brussels-2025

  Label for things we might work on in Brussels
• github_actions

  Pull requests that update GitHub Actions code
• good-second-issue

  A label for issues that are good second time contributors
• help wanted

  A label for issues or PRs where help is wanted
• lint

  Label for PR/issues related to linting
• major

  A label for PRs or issues that are major in some sense.
• merge-in-to-master

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

  A label for PRs or issues that are minor in some sense.
• new-feature

  A label for new features.
• newcomer-friendly

  A label for issues that someone thought might be friendly newcomers.
• not-backwards-compatible

  A label for PRs that break backwards compatibility
• performance

  A label for issues or PR related to performance