summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-18 18:35:54 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-19 19:36:16 +0100
commit42dcfbc1690396c14a54b51050dd22bcdcdded76 (patch)
treefeb69c2546e2525824004fbda94b4e45e708f459 /debian
parentf4b0f8f1877e92e3def1017cf089c857ded932c3 (diff)
Talk to push.dgit.debian.org, rather than the .debian.net alias.
Diffstat (limited to 'debian')
-rw-r--r--debian/changelog1
1 files changed, 1 insertions, 0 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.