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 | acfa08271cfd8e92cd042366e58a4cb26bdaab00 (patch) | |
tree | 9a116ba594bea4d63ecb33ae88920f1e7732448e /jeschli/2configs/git.nix | |
parent | 83dc4cbc409b9434a3e5efbff23d597049db94be (diff) | |
parent | d73cb179ece69c0a71e35cdefecdd831af88493a (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 a260227..faa8ccf 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 ]; } ++ |