Skip to content

npins/sources: move disko to nix-community upstream - #15

Merged
jdauphant-dinum merged 1 commit into
mainfrom
drop-disko-fork
Jun 21, 2026
Merged

npins/sources: move disko to nix-community upstream#15
jdauphant-dinum merged 1 commit into
mainfrom
drop-disko-fork

Conversation

@rlahfa-dinum

Copy link
Copy Markdown
Contributor

Now that the FIDO2 work has been merged, we do not need my personal fork.

Now that the FIDO2 work has been merged, we do not need my personal
fork.

Signed-off-by: Ryan Lahfa <ryan.lahfa@numerique.gouv.fr>
@jdauphant-dinum
jdauphant-dinum merged commit 78323ac into main Jun 21, 2026
2 of 4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants