github-hosts-sync: update default URL

This commit is contained in:
tv 2019-05-17 13:43:13 +02:00
parent 866e94b4fa
commit c7cfc7d6a3
2 changed files with 2 additions and 2 deletions

View file

@ -25,7 +25,7 @@ let
}; };
url = mkOption { url = mkOption {
type = types.str; type = types.str;
default = "git@github.com:krebscode/hosts.git"; default = "git@github.com:krebs/hosts.git";
}; };
workTree = mkOption { workTree = mkOption {
type = types.absolute-pathname; type = types.absolute-pathname;

View file

@ -4,7 +4,7 @@ exec >&2
hosts_srcdir=$GITHUB_HOST_SYNC_SRCDIR hosts_srcdir=$GITHUB_HOST_SYNC_SRCDIR
hosts_worktree=${GITHUB_HOST_SYNC_WORKTREE-/tmp/hosts} hosts_worktree=${GITHUB_HOST_SYNC_WORKTREE-/tmp/hosts}
hosts_url=${GITHUB_HOST_SYNC_URL-git@github.com:krebscode/hosts.git} hosts_url=${GITHUB_HOST_SYNC_URL-git@github.com:krebs/hosts.git}
test -d "$hosts_worktree" || git clone "$hosts_url" "$hosts_worktree" test -d "$hosts_worktree" || git clone "$hosts_url" "$hosts_worktree"