diff options
author | lassulus <lass@aidsballs.de> | 2016-07-23 19:21:23 +0200 |
---|---|---|
committer | lassulus <lass@aidsballs.de> | 2016-07-23 19:21:23 +0200 |
commit | f978c5312e1f88dd936495ff0fcd3a3aa032d90f (patch) | |
tree | 56e10a2cf4ced3d18d4ee8bfd4ba066e42a079d2 /tv/2configs/git.nix | |
parent | 29ef105c46287bb9964269004a56c51d4a2834bd (diff) | |
parent | c546bc8c2dc1ec0fa120c79df3de4d977ce322ed (diff) |
Merge remote-tracking branch 'cd/master'
Diffstat (limited to 'tv/2configs/git.nix')
-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 4bc971370..fd3875410 100644 --- a/tv/2configs/git.nix +++ b/tv/2configs/git.nix @@ -101,7 +101,7 @@ let perm = push "refs/*" [ non-fast-forward create delete merge ]; } ++ optional repo.public { - user = [ lass makefu ]; + user = attrValues config.krebs.users; repo = [ repo ]; perm = fetch; } ++ |