summaryrefslogtreecommitdiffstats
path: root/krebs/3modules
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2019-05-17 14:02:22 +0200
committertv <tv@krebsco.de>2019-05-17 14:02:22 +0200
commita666abeaabbed73749cd5e2f1745b4a4527c4bc6 (patch)
tree5440d2059dd92f3635cb4a117ec040394a89eed1 /krebs/3modules
parent2950b893b03253ef8000e939915bb9c8c1f1f524 (diff)
github-hosts-sync: make user name/mail overridable
Diffstat (limited to 'krebs/3modules')
-rw-r--r--krebs/3modules/github-hosts-sync.nix3
1 files changed, 3 insertions, 0 deletions
diff --git a/krebs/3modules/github-hosts-sync.nix b/krebs/3modules/github-hosts-sync.nix
index 6ffaf5503..0b7d56098 100644
--- a/krebs/3modules/github-hosts-sync.nix
+++ b/krebs/3modules/github-hosts-sync.nix
@@ -38,6 +38,8 @@ let
after = [ "network.target" ];
wantedBy = [ "multi-user.target" ];
environment = {
+ GITHUB_HOST_SYNC_USER_MAIL = user.mail;
+ GITHUB_HOST_SYNC_USER_NAME = user.name;
GITHUB_HOST_SYNC_SRCDIR = cfg.srcDir;
GITHUB_HOST_SYNC_WORKTREE = cfg.workTree;
GITHUB_HOST_SYNC_URL = cfg.url;
@@ -67,6 +69,7 @@ let
};
user = rec {
+ mail = "${name}@${config.krebs.build.host.name}";
name = "github-hosts-sync";
uid = genid_uint31 name;
};