diff options
| author | tv <tv@krebsco.de> | 2016-08-02 20:58:42 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2016-08-02 20:58:42 +0200 |
| commit | e6aef09ad41cd55d716b8ee276ebd774b95d8ecb (patch) | |
| tree | 6d8d5cce976f3843ab196367e82fec56f0798838 /lass/2configs/git.nix | |
| parent | 0928cc03a6191640c66c9122159994855527faef (diff) | |
| parent | b197949ab83ee3ee87b5774e0fc7c8d0123a6708 (diff) | |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'lass/2configs/git.nix')
| -rw-r--r-- | lass/2configs/git.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lass/2configs/git.nix b/lass/2configs/git.nix index 9a1cab17..ab445071 100644 --- a/lass/2configs/git.nix +++ b/lass/2configs/git.nix @@ -80,7 +80,7 @@ let perm = push "refs/*" [ non-fast-forward create delete merge ]; } ++ optional repo.public { - user = [ tv makefu ]; + user = attrValues config.krebs.users; repo = [ repo ]; perm = fetch; } ++ |