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 | 8e93530796982db49ddeb06201d2f5bb57d51ccc (patch) | |
| tree | 0c2982f48ca668cc034f4c10485c6a5b0e841d81 /lass/2configs/git.nix | |
| parent | 7a9f130c1230faf9662000dbd9ba8f06170bf254 (diff) | |
| parent | 5856d240888e89dbed141087c9580026f52dff59 (diff) | |
Merge remote-tracking branch 'cloudkrebs/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; } ++ |