diff options
| author | tv <tv@shackspace.de> | 2015-06-19 00:56:44 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-06-19 00:56:44 +0200 |
| commit | 846a759d7397ab7d7a79e374508c9b68a4024e50 (patch) | |
| tree | c26d95f0ca759c2d38a8c5acb48afca8787984ac /modules/cd/git.nix | |
| parent | 959417b490847ca28f10ba8ae8486b496ecb7dd9 (diff) | |
host cd: drop unused repos
Diffstat (limited to 'modules/cd/git.nix')
| -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 12dacffc2..d7a270463 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 { |