Labels

• bug

  Label for issues or PR which report or fix bugs
• bug-fix

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

  A label for issues or PRs related to the build system
• C++ language

  Label for PR/issues related to the kernel module
• ci

  A label for issues or PRs related to the continuous integration for Semigroups
• critical

  Label for issues or PR that are critical
• dependencies

  Pull requests that update a dependency file
• development

  Label for issues/pr related to development of the package
• do not merge

  Label for PR that should not be merged
• documentation

  Issues and PRs related to documentation
• duplicate

  Label for issues or PR that are duplicates of others
• enhancement

  A label for issues or PRs that offer an enhancement to existing functionality
• feature-request

  Label for feature requests
• gap-compatibility

  A label for PRs or issues that are related to compatibility with changes in GAP
• github_actions

  Pull requests that update GitHub Actions code
• help wanted

  A label for issues where help is wanted.
• invalid

  A label for issues that aren't really issues at all.
• libsemigroups

  Bugs, or PRs relating to libsemigroups
• major

  A label for issues or PRs that require a major amount of work or big changes.
• minor

  A label for issues or PRs that are not major.
• new-feature

  A label for PRs that contain new features
• newcomer-friendly

  A label for issues that are good for first time contributors.
• not-backward-compatible

  Should be applied to pull requests that break backwards compatibility
• performance

  A label for issues or PRs that relate to performance.
• possible-bug

  A label for issues that might report bugs.
• question

  A label for issues that are questions
• Re-run ci

  Label for PR where the CI should be re-run at some point because there is a failure in a dependency.
• refactor

  A label for issues or PR that refactor some part of the project
• release-candidate

  A label for PRs containing release candidates
• resolved

  A label for issues that are resolved but not closed for whatever reason.