diff options
author | tv <tv@krebsco.de> | 2018-02-28 22:38:42 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2018-02-28 22:38:42 +0100 |
commit | d450e63fd61a31e3b34da38f48260e1bfbb013cc (patch) | |
tree | 0de22522ead1047f4deddfc5346c1a0e7e6f8afb | |
parent | 7c6325d0fbf6c9080f575d7608eb2e1942b52744 (diff) |
tv gitrepos: add kops
-rw-r--r-- | tv/2configs/gitrepos.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tv/2configs/gitrepos.nix b/tv/2configs/gitrepos.nix index dc50be4..c3418e7 100644 --- a/tv/2configs/gitrepos.nix +++ b/tv/2configs/gitrepos.nix @@ -42,6 +42,9 @@ let { kirk = { cgit.desc = "IRC tools"; }; + kops = { + cgit.desc = "deployment tools"; + }; load-env = {}; loldns = { cgit.desc = "toy DNS server"; |