diff options
| author | tv <tv@krebsco.de> | 2016-02-08 03:23:28 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2016-02-08 03:35:29 +0100 |
| commit | 5db518d62ef2bcfdebc3f9a43ebb7a69680991ec (patch) | |
| tree | 7d0cb98e66ff10957fd9a28719d5ba670ea36675 /tv/2configs/git.nix | |
| parent | ab28a05db34dcda1ef8baf8746bc3587ec237977 (diff) | |
| parent | 337b6ed6c55874330fb34b41b59b90c5b5462d0b (diff) | |
Merge remote-tracking branch 'cloudkrebs/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 85fd725..3ee708e 100644 --- a/tv/2configs/git.nix +++ b/tv/2configs/git.nix @@ -95,7 +95,7 @@ let perm = push "refs/*" [ non-fast-forward create delete merge ]; } ++ optional repo.public { - user = [ lass makefu uriel ]; + user = [ lass makefu ]; repo = [ repo ]; perm = fetch; } ++ |