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
backport-to-4.10-DONE
backport-to-4.10-DONE
backport-to-4.11-DONE
backport-to-4.11-DONE
backport-to-4.12-DONE
backport-to-4.12-DONE
backport-to-4.13-DONE
backport-to-4.13-DONE
backport-to-4.13
backport-to-4.13
breaking (kernel API)
breaking (kernel API)
This is a breaking change to the kernel API
dependencies
dependencies
Pull requests that update a dependency file
1
do not comment yet
do not comment yet
PRs on which the author does not yet want any comment (e.g. only submitted for test results)
1
do not merge
do not merge
PRs which are not yet ready to be merged (e.g. submitted for discussion, or test results)
22
do not review
do not review
PRs which are not yet ready for a proper external review (e.g. only submitted for test results)
2
gapdays2015-fall
gapdays2015-fall
Issues and PRs that arose at https://www.gapdays.de/gapdays2015-fall
4
gapdays2015-spring
gapdays2015-spring
Issues and PRs that arose at https://www.gapdays.de/gapdays2015-spring
9
gapdays2017-fall
gapdays2017-fall
Issues and PRs that arose at https://www.gapdays.de/gapdays2017-fall
2
gapdays2017-spring
gapdays2017-spring
Issues and PRs that arose at https://www.gapdays.de/gapdays2017-spring
1
gapdays2018-fall
gapdays2018-fall
Issues and PRs that arose at https://www.gapdays.de/gapdays2018-fall
7
gapdays2018-spring
gapdays2018-spring
Issues and PRs that arose at http://www.gapdays.de/gap-jupyter-days2018
gapdays2019-spring
gapdays2019-spring
Issues and PRs that arose at https://www.gapdays.de/gapdays2019-spring
6
gapdays2020-spring
gapdays2020-spring
Issues and PRs that arose in relation to https://www.gapdays.de/gapdays2020-spring
1
gapdays2021-spring
gapdays2021-spring
Issues and PRs that could be tackled or discussed at https://www.gapdays.de/gapdays2021-spring
1
gapdays2022-summer
gapdays2022-summer
Issues and PRs that arose at https://www.gapdays.de/gapdays2022-summer
18
gapdays2022-winter
gapdays2022-winter
Issues and PRs that could be tackled or discussed at https://www.gapdays.de/gapdays2022-winter
3
gapdays2024-summer
gapdays2024-summer
Issues and PRs that arose at https://www.gapdays.de/gapdays2024-summer
gapsagedays2016
gapsagedays2016
Issues and PRs that arose at https://www.gapdays.de/gap-sage-days2016
7
gapsingular2019
gapsingular2019
Issues and PRs that arose at https://opendreamkit.org/meetings/2019-04-02-GAPSingularMeeting
good first issue
good first issue
Issues that can be understood and addressed by newcomers to GAP development
28
kind: bug: crash
kind: bug: crash
Issues describing bugs that cause GAP to crash, and PRs fixing them (used for release notes)
8
kind: bug: unexpected error
kind: bug: unexpected error
Issues describing bugs in which computation unexpectedly encounters an error, and PRs fixing them
7
kind: bug: wrong result
kind: bug: wrong result
Issues describing bugs that result in mathematically or otherwise wrong results, and PRs fixing them
6
kind: bug
kind: bug
Issues describing general bugs, and PRs fixing them
73
kind: discussion
kind: discussion
discussions, questions, requests for comments, and so on
81