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 | 252c5bd49b08bef4fe0c9a5413ebd53594224d49 (patch) | |
| tree | 00c5f17a19f1f29d4427fb3cf81bf02b5ec407fa | |
| parent | 10ff96638dbfabab63bdf4c795777df395c36bec (diff) | |
j enklave: add jeschli-bolide to write
| -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 ]; } ++ |