diff options
| author | makefu <github@syntax-fehler.de> | 2016-02-11 21:31:15 +0100 |
|---|---|---|
| committer | makefu <github@syntax-fehler.de> | 2016-02-11 21:31:15 +0100 |
| commit | 014cbb7598c5d45cfc4cc7e1ec81c92e000eabfb (patch) | |
| tree | fab0e894948010cd73be18ad2c68cd4750bd2419 /lass/2configs/git.nix | |
| parent | 8ecdb889dd3081ba29c6ea7eb35f60b30420d201 (diff) | |
| parent | 7b3b839cc7a2af73dee9858e6ebcc7be831eb481 (diff) | |
Merge remote-tracking branch 'cd/master'
Diffstat (limited to 'lass/2configs/git.nix')
| -rw-r--r-- | lass/2configs/git.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lass/2configs/git.nix b/lass/2configs/git.nix index 16ecaefec..ac6aae44f 100644 --- a/lass/2configs/git.nix +++ b/lass/2configs/git.nix @@ -69,12 +69,12 @@ let with git // config.krebs.users; repo: singleton { - user = lass; + user = [ lass lass-helios lass-uriel ]; repo = [ repo ]; perm = push "refs/*" [ non-fast-forward create delete merge ]; } ++ optional repo.public { - user = [ tv makefu uriel ]; + user = [ tv makefu miefda ]; repo = [ repo ]; perm = fetch; } ++ |