summaryrefslogtreecommitdiffstats
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
commit252c5bd49b08bef4fe0c9a5413ebd53594224d49 (patch)
tree00c5f17a19f1f29d4427fb3cf81bf02b5ec407fa
parent10ff96638dbfabab63bdf4c795777df395c36bec (diff)
j enklave: add jeschli-bolide to write
-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 a2602278..faa8ccf5 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 ];
} ++