summaryrefslogtreecommitdiffstats
path: root/tv/2configs
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
commit949f466cf78ba2e76002012715172e5d5d394006 (patch)
tree87ac987632a565f679a4f2a79e2c59fa00676236 /tv/2configs
parentf68c977a20daa4d2e62f76e1f58a26188ef84b64 (diff)
tv: s/_/-/g in usernames
Diffstat (limited to 'tv/2configs')
-rw-r--r--tv/2configs/git.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/tv/2configs/git.nix b/tv/2configs/git.nix
index b8180085f..85fd72539 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 ];
} ++