diff options
| author | jeschli <jeschli@gmail.com> | 2019-05-18 18:31:51 +0200 |
|---|---|---|
| committer | jeschli <jeschli@gmail.com> | 2019-05-18 18:31:51 +0200 |
| commit | 49c77334a71a820059a71d4aa780ce03dd4d95b0 (patch) | |
| tree | d088b57a1b47a92f0427470aff0cabb47a487cb4 /jeschli | |
| parent | 6f278be2b34d894391a689f47c7dda82d829a78f (diff) | |
j enklave: add jeschli-bolide to write
Diffstat (limited to 'jeschli')
| -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 ]; } ++ |