Labels

• backport-to-stable

  backport-to-stable

• bug

  bug

  Label for issues or PR which report or fix bugs

• bug-fix

  bug-fix

  A label for PRs that fix a bug.

• build-system

  build-system

  A label for issues or PRs related to the build system

• C++ language

  C++ language

  Label for PR/issues related to the kernel module

• ci

  ci

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

• critical

  critical

  Label for issues or PR that are critical

• dependencies

  dependencies

  Pull requests that update a dependency file

• development

  development

  Label for issues/pr related to development of the package

• do not merge

  do not merge

  Label for PR that should not be merged

• documentation

  documentation

  Issues and PRs related to documentation

• duplicate

  duplicate

  Label for issues or PR that are duplicates of others

• enhancement

  enhancement

  A label for issues or PRs that offer an enhancement to existing functionality

• feature-request

  feature-request

  Label for feature requests

• gap-compatibility

  gap-compatibility

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

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• help wanted

  help wanted

  A label for issues where help is wanted.

• invalid

  invalid

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

• libsemigroups

  libsemigroups

  Bugs, or PRs relating to libsemigroups

• major

  major

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

• minor

  minor

  A label for issues or PRs that are not major.

• new-feature

  new-feature

  A label for PRs that contain new features

• newcomer-friendly

  newcomer-friendly

  A label for issues that are good for first time contributors.

• not-backward-compatible

  not-backward-compatible

  Should be applied to pull requests that break backwards compatibility

• performance

  performance

  A label for issues or PRs that relate to performance.

• possible-bug

  possible-bug

  A label for issues that might report bugs.

• question

  question

  A label for issues that are questions

• Re-run ci

  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

  refactor

  A label for issues or PR that refactor some part of the project

• release-candidate

  release-candidate

  A label for PRs containing release candidates