l git: allow pushing via yubi and green only

This commit is contained in:
lassulus 2021-10-25 20:24:13 +02:00
parent ff013c82ac
commit 21a73205b7

View File

@ -189,7 +189,7 @@ let
with git // config.krebs.users;
repo:
singleton {
user = [ lass lass-mors lass-blue lass-yubikey ];
user = [ lass lass-green ];
repo = [ repo ];
perm = push "refs/*" [ non-fast-forward create delete merge ];
} ++