Talk to push.dgit.debian.org, rather than the .debian.net alias.

diff --git a/debian/changelog b/debian/changelog
index 191bf1ae75621caf3795952fb3e4b41cd81834c3..c5a823bd555147fa0e46c5b0e94720a5467622ed 100644 (file)
--- 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.

diff --git a/dgit b/dgit
index f77d11f4d25ff58a0ec25132bc6f960997b9b621..886e42b7a4fb1253e219740d288e6c02b67bf9bb 100755 (executable)
--- a/dgit
+++ b/dgit
@@ -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',