j enklave: add jeschli-bolide to write

This commit is contained in:
jeschli 2019-05-18 18:31:51 +02:00
parent 10ff96638d
commit 252c5bd49b

View File

@ -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 ];
} ++