Skip to content

No labels!

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

0 - Backlog
0 - Backlog
0.kind: build failure
0.kind: build failure
0.kind: enhancement
0.kind: enhancement
0.kind: package adoption
0.kind: package adoption
Requests for adopting packages that have no maintainers
0.kind: packaging request
0.kind: packaging request
0.kind: question
0.kind: question
0.kind: regression
0.kind: regression
Something that worked before working no longer
0.kind: ZHF Fixes
0.kind: ZHF Fixes
Fixes during the ZHF campaign
1.severity: blocker
1.severity: blocker
1.severity: channel blocker
1.severity: channel blocker
Blocks a channel
1.severity: mass-darwin-rebuild
1.severity: mass-darwin-rebuild
1.severity: mass-rebuild
1.severity: mass-rebuild
1.severity: security
1.severity: security
2.status: blocked by pr/issue
2.status: blocked by pr/issue
2.status: duplicate
2.status: duplicate
2.status: fix-in-staging
2.status: fix-in-staging
This issue has been fixed in staging but is not yet in the channels or master
2.status: invalid
2.status: invalid
2.status: merge conflict
2.status: merge conflict
2.status: stale
2.status: stale
https://github.com/NixOS/nixpkgs/blob/master/.github/STALE-BOT.md
2.status: wait-for-upstream
2.status: wait-for-upstream
Waiting for upstream fix (or their other action).
2.status: wontfix
2.status: wontfix
2.status: work-in-progress
2.status: work-in-progress
3.skill: good-first-bug
3.skill: good-first-bug
3.skill: sprintable
3.skill: sprintable
3.skill: trivial
3.skill: trivial
5. scope: tracked
5. scope: tracked
Issue (or PR) is linked back to a `scope: tracking` issue
5. scope: tracking
5. scope: tracking
Long-lived issue tracking long-term fixes or multiple sub-problems
6.topic: accessibility
6.topic: accessibility
6.topic: agda
6.topic: agda