Skip to content

No labels!

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

195 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
awaiting_changes
awaiting_changes
(old Marvin label, do not use)
443
awaiting_merger
awaiting_merger
(old Marvin label, do not use)
awaiting_reviewer
awaiting_reviewer
(old Marvin label, do not use)
4
backport release-24.05
backport release-24.05
Backport PR automatically
24
backport release-24.11
backport release-24.11
Backport PR automatically
86
backport staging-24.05
backport staging-24.05
Backport PR automatically
backport staging-24.11
backport staging-24.11
Backport PR automatically
3
dependencies
dependencies
Pull requests that update a dependency file (typically Dependabot)
marvin
marvin
This PR was reviewed by Marvin, a discontinued bot: https://github.com/timokau/marvin-mk2
merge-queue
merge-queue
merge after ci succeeds
needs_merger
needs_merger
(old Marvin label, do not use)
needs_reviewer
needs_reviewer
(old Marvin label, do not use)
36
ofborg-internal-error
ofborg-internal-error
Ofborg encountered an error
15
significant
significant
Novel ideas, large API changes, notable refactorings, issues with RFC potential, etc.
56
unresolved_build_failure
unresolved_build_failure
4