diff options
| author | tv <tv@krebsco.de> | 2022-12-09 18:38:06 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2022-12-09 18:38:45 +0100 |
| commit | 9051f57095d4edfd22a68aa2798e38a44a2c94cb (patch) | |
| tree | a4f461fc965617c3b91671e4c3da9361d0aeb1f4 /kartei | |
| parent | c2f5b1c40669b13459a170b9ec14d9a78193cef0 (diff) | |
kartei tv: move krebs-pages mirror from xu to ni
Diffstat (limited to 'kartei')
| -rw-r--r-- | kartei/tv/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kartei/tv/default.nix b/kartei/tv/default.nix index 428e1c3b9..f7e86c598 100644 --- a/kartei/tv/default.nix +++ b/kartei/tv/default.nix @@ -198,6 +198,7 @@ in { aliases = [ "ni.r" "cgit.ni.r" + "krebs.ni.r" "search.ni.r" ]; tinc.pubkey = '' @@ -319,7 +320,6 @@ in { aliases = [ "xu.r" "cgit.xu.r" - "krebs.xu.r" ]; tinc.pubkey = '' -----BEGIN RSA PUBLIC KEY----- @@ -369,7 +369,7 @@ in { "http://cgit.krebsco.de" = { desc = "Git repositories"; }; - "http://krebs.xu.r" = { + "http://krebs.ni.r" = { desc = "krebs-pages mirror"; }; }; |