diff options
| author | tv <tv@krebsco.de> | 2019-06-25 19:21:20 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2019-06-25 20:16:12 +0200 |
| commit | 8c667f09c0e6e412283c8d7982a7112123ba5c0c (patch) | |
| tree | 983c08ee1f2e73fe6b3680a9fbf71866bb4ac173 /jeschli/2configs/git.nix | |
| parent | d343910e98736a94431fcac3da21274d2ecec449 (diff) | |
| parent | 153505206cba1896685bf1fd7252cffeae19e290 (diff) | |
Merge remote-tracking branch 'prism/master'
Diffstat (limited to 'jeschli/2configs/git.nix')
| -rw-r--r-- | jeschli/2configs/git.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jeschli/2configs/git.nix b/jeschli/2configs/git.nix index a26022789..faa8ccf5b 100644 --- a/jeschli/2configs/git.nix +++ b/jeschli/2configs/git.nix @@ -60,7 +60,7 @@ let with git // config.krebs.users; repo: singleton { - user = [ jeschli jeschli-brauerei]; + user = [ jeschli jeschli-brauerei jeschli-bolide]; repo = [ repo ]; perm = push "refs/*" [ non-fast-forward create delete merge ]; } ++ |