summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2015-11-09 18:01:52 +0100
committertv <tv@krebsco.de>2015-11-09 18:01:52 +0100
commit2263c04e7c95caa5c21fb80952a19916eace5a3e (patch)
treef4bab6cadf95af024ae5c1115683003d4af0c24b
parente5e56abd6d3aeb547b773015f79cfcf0251eae9a (diff)
tv git: tv_xu has R/W-access to protected repos
-rw-r--r--tv/2configs/git.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/tv/2configs/git.nix b/tv/2configs/git.nix
index 38af92b02..ff5bedce9 100644
--- a/tv/2configs/git.nix
+++ b/tv/2configs/git.nix
@@ -83,7 +83,7 @@ let
with git // config.krebs.users;
repo:
singleton {
- user = tv;
+ user = [ tv tv_xu ];
repo = [ repo ];
perm = push "refs/*" [ non-fast-forward create delete merge ];
} ++