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 | 2934d4524bcbae13043d684a27597c8b08c0851b (patch) | |
tree | 00b5e1236f22d42e650a340ceed5649a6f131332 /tv/2configs | |
parent | 877b4104370c1ea9698a449e376e2842d7c372fd (diff) |
tv gitrepos: add kops
Diffstat (limited to 'tv/2configs')
-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 dc50be4f1..c3418e7ee 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"; |