diff options
| author | tv <tv@krebsco.de> | 2015-06-19 00:56:44 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2015-06-19 00:56:44 +0200 |
| commit | f9084414d1c6e5cd71d795ab07a8d0345e3ad620 (patch) | |
| tree | c26d95f0ca759c2d38a8c5acb48afca8787984ac /modules | |
| parent | e7f4705a095de835f2f511519100687e4be5d524 (diff) | |
host cd: drop unused repos
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/cd/git.nix | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/modules/cd/git.nix b/modules/cd/git.nix index 12dacff..d7a2704 100644 --- a/modules/cd/git.nix +++ b/modules/cd/git.nix @@ -16,14 +16,11 @@ let (public "mime") (public "much") (public "nixos-infest") - (public "nixpkgs") (public "painload") (public "regfish") - (public "repo") (public "shitment") (public "wai-middleware-time") (public "web-routes-wai-custom") - (public "wu-configuration-nix") ]; users = addNames { |