chore: switch to upstream disko again, PR is merged

This commit is contained in:
oddlama 2023-04-29 23:03:43 +02:00
parent a90a8ee678
commit f62b01f206
No known key found for this signature in database
GPG key ID: 14EFE510775FE39A
3 changed files with 7 additions and 9 deletions

View file

@ -9,9 +9,7 @@
};
disko = {
# TODO temporary until reimport PR merged
#url = "github:nix-community/disko";
url = "github:oddlama/disko";
url = "github:nix-community/disko";
inputs.nixpkgs.follows = "nixpkgs";
};