From 42dcfbc1690396c14a54b51050dd22bcdcdded76 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sat, 18 Jul 2015 18:35:54 +0100 Subject: [PATCH 1/1] Talk to push.dgit.debian.org, rather than the .debian.net alias. --- debian/changelog | 1 + dgit | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 191bf1ae..c5a823bd 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. diff --git a/dgit b/dgit index f77d11f4..886e42b7 100755 --- 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', -- 2.30.2