From 42dcfbc1690396c14a54b51050dd22bcdcdded76 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 18 Jul 2015 18:35:54 +0100
Subject: Talk to push.dgit.debian.org, rather than the .debian.net alias.

---
 debian/changelog | 1 +
 1 file changed, 1 insertion(+)

(limited to 'debian')

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.
-- 
cgit v1.2.1