diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-18 18:35:54 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-19 19:36:16 +0100 |
commit | 42dcfbc1690396c14a54b51050dd22bcdcdded76 (patch) | |
tree | feb69c2546e2525824004fbda94b4e45e708f459 /dgit | |
parent | f4b0f8f1877e92e3def1017cf089c857ded932c3 (diff) |
Talk to push.dgit.debian.org, rather than the .debian.net alias.
Diffstat (limited to 'dgit')
-rwxr-xr-x | dgit | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -447,7 +447,7 @@ our %defcfg = ('dgit.default.distro' => 'debian', 'dgit-distro.debian.git-check' => 'url', 'dgit-distro.debian.git-check-suffix' => '/info/refs', 'dgit-distro.debian/push.git-url' => '', - 'dgit-distro.debian/push.git-host' => 'dgit-git.debian.net', + 'dgit-distro.debian/push.git-host' => 'push.dgit.debian.org', 'dgit-distro.debian/push.git-user-force' => 'dgit', 'dgit-distro.debian/push.git-proto' => 'git+ssh://', 'dgit-distro.debian/push.git-path' => '/dgit/debian/repos', |