diff options
Diffstat (limited to 'tv')
| -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 85fd72539..3ee708e03 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; } ++ |