summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2018-02-28 22:38:42 +0100
committertv <tv@krebsco.de>2018-02-28 22:38:42 +0100
commit2934d4524bcbae13043d684a27597c8b08c0851b (patch)
tree00b5e1236f22d42e650a340ceed5649a6f131332
parent877b4104370c1ea9698a449e376e2842d7c372fd (diff)
tv gitrepos: add kops
-rw-r--r--tv/2configs/gitrepos.nix3
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";