diff options
| author | tv <tv@krebsco.de> | 2019-05-17 13:43:13 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2019-05-17 13:43:13 +0200 |
| commit | c7cfc7d6a3988615fd40369d0e02bd570a52bc7f (patch) | |
| tree | 715a6675a92884898ff75a4e9c04baf196f43885 /krebs/5pkgs/simple/github-hosts-sync | |
| parent | 866e94b4fa70181b9ae753b51d59c27ce42c9497 (diff) | |
github-hosts-sync: update default URL
Diffstat (limited to 'krebs/5pkgs/simple/github-hosts-sync')
| -rwxr-xr-x | krebs/5pkgs/simple/github-hosts-sync/src/hosts-sync | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/krebs/5pkgs/simple/github-hosts-sync/src/hosts-sync b/krebs/5pkgs/simple/github-hosts-sync/src/hosts-sync index 4bae44bef..d2017ef63 100755 --- a/krebs/5pkgs/simple/github-hosts-sync/src/hosts-sync +++ b/krebs/5pkgs/simple/github-hosts-sync/src/hosts-sync @@ -4,7 +4,7 @@ exec >&2 hosts_srcdir=$GITHUB_HOST_SYNC_SRCDIR 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" |