tv gitrepos: add kops

2018-02-28 22:38:42 +01:00 · 2018-02-28 22:38:42 +01:00 · 2934d4524b
commit 2934d4524b
parent 877b410437
1 changed files with 3 additions and 0 deletions
--- 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";