diff options
author | tv <tv@krebsco.de> | 2016-07-03 20:44:09 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-07-03 20:44:09 +0200 |
commit | 7f0ea39a978fb02b4b165e82051f83273093a94c (patch) | |
tree | 45ea0a22523aecad81403d3d20c9f3c69439d307 /lass/2configs/git.nix | |
parent | 8822005f00be111186a490934ebb9adbfd7917a2 (diff) | |
parent | e4f4811fa7a7f3eaa620d2c536d7b74659bd2943 (diff) |
Merge remote-tracking branch 'prism/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 381a37e1b..9a1cab176 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 miefda ]; + user = [ tv makefu ]; repo = [ repo ]; perm = fetch; } ++ |