Skip to content

No labels!

There aren’t any labels for this repository quite yet.

73 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
kind: enhancement
kind: enhancement
Label for issues suggesting enhancements; and for pull requests implementing enhancements
214
kind: general proposed change
kind: general proposed change
3
kind: new feature
kind: new feature
23
kind: quirk
kind: quirk
Issues that are not bugs, but a discrepancy between user expectation and system behavior
5
kind: removal or deprecation
kind: removal or deprecation
A feature was removed or deprecated / made obsolete
kind: support request
kind: support request
1
os: macos
os: macos
Issues and PRs that are (at least partially) specific to macOS
os: windows
os: windows
Issues and PRs that are (at least partially) specific to Windows
4
priority: high
priority: high
2
priority: low
priority: low
4
regression
regression
A bug that only occurs in the branch, not in a release
5
release notes: added
release notes: added
PRs introducing changes that have since been mentioned in the release notes
release notes: highlight
release notes: highlight
PRs introducing changes that should be highlighted at the top of the release notes
release notes: multiple
release notes: multiple
PRs introducing changes that require multiple entries in the release notes (TO BE AVOIDED!!!)
release notes: not needed
release notes: not needed
PRs introducing changes that are wholly irrelevant to the release notes
14
release notes: to be added
release notes: to be added
PRs introducing changes that should be (but have not yet been) mentioned in the release notes
13
release notes: use title
release notes: use title
For PRs: the title of this PR is suitable for direct use in the release notes
4
status: abandoned
status: abandoned
PRs where the author has stated, or it has become obvious, that no further development will be done
status: awaiting a different PR
status: awaiting a different PR
PRs that should not be merged until (at least one) other PR is merged
status: awaiting response
status: awaiting response
Issues and PRs whose progress is stalled awaiting a response from (usually) the author
1
status: duplicate
status: duplicate
Issues that have already been raised in a pre-existing issue
status: invalid
status: invalid
status: wontfix
status: wontfix
Issues that it has been decided will not be addressed
1
topic: build system
topic: build system
7
topic: ci
topic: ci
Anything related to GitHub Actions, Codecov, AppVeyor, Coveralls, Travis, ...
13
topic: documentation
topic: documentation
Issues and PRs related to documentation
59
topic: error handling
topic: error handling
4
topic: gac
topic: gac
GAP to C compiler
1
topic: GAP language
topic: GAP language
7
topic: help system
topic: help system
4