diff options
| author | tv <tv@krebsco.de> | 2015-11-09 18:01:52 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2015-11-09 18:01:52 +0100 |
| commit | 2263c04e7c95caa5c21fb80952a19916eace5a3e (patch) | |
| tree | f4bab6cadf95af024ae5c1115683003d4af0c24b /tv | |
| parent | e5e56abd6d3aeb547b773015f79cfcf0251eae9a (diff) | |
tv git: tv_xu has R/W-access to protected repos
Diffstat (limited to 'tv')
| -rw-r--r-- | tv/2configs/git.nix | 2 |
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 ]; } ++ |