diff options
author | tv <tv@krebsco.de> | 2016-02-07 05:17:07 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-02-07 06:24:04 +0100 |
commit | d8c27e39ff5c938955d2f9b098fc0c01ab650f6f (patch) | |
tree | f594d0a9f7ecb7d47bc2b3d28b2216edf5b59e6c /mv/2configs | |
parent | 01a0f8a7ea7ed86d10bde3d9d4e42ac97e6359b0 (diff) |
tv: s/_/-/g in usernames
Diffstat (limited to 'mv/2configs')
-rw-r--r-- | mv/2configs/git.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mv/2configs/git.nix b/mv/2configs/git.nix index 991d0c4..c182d0d 100644 --- a/mv/2configs/git.nix +++ b/mv/2configs/git.nix @@ -45,7 +45,7 @@ let perm = push "refs/*" [ non-fast-forward create delete merge ]; } ++ optional repo.public { - user = [ lass makefu uriel tv tv_xu ]; + user = [ lass makefu uriel tv tv-xu ]; repo = [ repo ]; perm = fetch; } ++ |