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 | |
| parent | 877b4104370c1ea9698a449e376e2842d7c372fd (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 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"; |