chiark / gitweb /
Talk to push.dgit.debian.org, rather than the .debian.net alias.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 18 Jul 2015 17:35:54 +0000 (18:35 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 19 Jul 2015 18:36:16 +0000 (19:36 +0100)
debian/changelog
dgit

index 191bf1a..c5a823b 100644 (file)
@@ -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).
   * 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.
 
   Infrastructure:
   * Provide for mirroring git updates to a different server.
diff --git a/dgit b/dgit
index f77d11f..886e42b 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.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',
               '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',