summaryrefslogtreecommitdiffstats
path: root/jeschli
diff options
context:
space:
mode:
authorjeschli <jeschli@gmail.com>2019-05-18 18:31:51 +0200
committerjeschli <jeschli@gmail.com>2019-05-18 18:31:51 +0200
commit49c77334a71a820059a71d4aa780ce03dd4d95b0 (patch)
treed088b57a1b47a92f0427470aff0cabb47a487cb4 /jeschli
parent6f278be2b34d894391a689f47c7dda82d829a78f (diff)
j enklave: add jeschli-bolide to write
Diffstat (limited to 'jeschli')
-rw-r--r--jeschli/2configs/git.nix2
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 ];
} ++