diff options
author | lassulus <lassulus@lassul.us> | 2019-05-29 09:07:47 +0200 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2019-05-29 09:07:47 +0200 |
commit | 816dba3a15016d0594b770cb260a54841aa0e69c (patch) | |
tree | d3fcf6d60eea4b06faa178beff6908ebe829f161 /jeschli/2configs/git.nix | |
parent | 680d5b4cff45fa3de1adb50af576f796ae3762fa (diff) | |
parent | ef05aadec954c49fee728fe46c975250346f1620 (diff) |
Merge remote-tracking branch 'enklave/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 ]; } ++ |