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 | |
parent | f4b0f8f1877e92e3def1017cf089c857ded932c3 (diff) |
Talk to push.dgit.debian.org, rather than the .debian.net alias.
-rw-r--r-- | debian/changelog | 1 | ||||
-rwxr-xr-x | dgit | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 191bf1a..c5a823b 100644 --- a/debian/changelog +++ b/debian/changelog @@ -20,6 +20,7 @@ dgit (0.31~~) unstable; urgency=low * Provide for checking git presence via http[s]. * Do some quoting on debug output (needed if the server might not be trustworthy and might send us bad stuff). + * Talk to push.dgit.debian.org, rather than the .debian.net alias. Infrastructure: * Provide for mirroring git updates to a different server. @@ -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', |