summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-02-07 05:17:07 +0100
committertv <tv@krebsco.de>2016-02-07 06:24:04 +0100
commitd8c27e39ff5c938955d2f9b098fc0c01ab650f6f (patch)
treef594d0a9f7ecb7d47bc2b3d28b2216edf5b59e6c
parent01a0f8a7ea7ed86d10bde3d9d4e42ac97e6359b0 (diff)
tv: s/_/-/g in usernames
-rw-r--r--mv/2configs/git.nix2
-rw-r--r--tv/2configs/git.nix2
2 files changed, 2 insertions, 2 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;
} ++
diff --git a/tv/2configs/git.nix b/tv/2configs/git.nix
index b818008..85fd725 100644
--- a/tv/2configs/git.nix
+++ b/tv/2configs/git.nix
@@ -90,7 +90,7 @@ let
with git // config.krebs.users;
repo:
singleton {
- user = [ tv tv_xu ];
+ user = [ tv tv-xu ];
repo = [ repo ];
perm = push "refs/*" [ non-fast-forward create delete merge ];
} ++