diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-18 18:35:54 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-19 19:36:16 +0100 |
commit | 42dcfbc1690396c14a54b51050dd22bcdcdded76 (patch) | |
tree | feb69c2546e2525824004fbda94b4e45e708f459 /debian | |
parent | f4b0f8f1877e92e3def1017cf089c857ded932c3 (diff) |
Talk to push.dgit.debian.org, rather than the .debian.net alias.
Diffstat (limited to 'debian')
-rw-r--r-- | debian/changelog | 1 |
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. |