From 797535fc1ff1dd88239e06ecee861d228107c6e9 Mon Sep 17 00:00:00 2001
From: lassulus <lassulus@lassul.us>
Date: Tue, 19 Sep 2017 11:30:57 +0200
Subject: [PATCH] git: add repo.admins option

---
 krebs/3modules/git.nix | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/krebs/3modules/git.nix b/krebs/3modules/git.nix
index 93211d9d4..610c20bb4 100644
--- a/krebs/3modules/git.nix
+++ b/krebs/3modules/git.nix
@@ -186,6 +186,17 @@ let
     };
     repo = types.submodule ({ config, ... }: {
       options = {
+        admins = mkOption {
+          type = types.listOf types.user;
+          default = [];
+          description = ''
+            List of users that should be able to do everything with this repo.
+
+            This option is currently not used by krebs.git but instead can be
+            used to create rules.  See e.g. <stockholm/lass/2configs/git.nix> for
+            an example.
+          '';
+        };
         cgit = {
           desc = mkOption {
             type = types.nullOr types.str;