tv git: tv_xu has R/W-access to protected repos

This commit is contained in:
tv 2015-11-09 18:01:52 +01:00
parent e5e56abd6d
commit 2263c04e7c

View File

@ -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 ];
} ++