l 2 git: remove miefda
This commit is contained in:
parent
b3fa9cbd7e
commit
48b58386be
|
@ -80,7 +80,7 @@ let
|
|||
perm = push "refs/*" [ non-fast-forward create delete merge ];
|
||||
} ++
|
||||
optional repo.public {
|
||||
user = [ tv makefu miefda ];
|
||||
user = [ tv makefu ];
|
||||
repo = [ repo ];
|
||||
perm = fetch;
|
||||
} ++
|
||||
|
|
Loading…
Reference in a new issue