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)
commit42dcfbc1690396c14a54b51050dd22bcdcdded76
treefeb69c2546e2525824004fbda94b4e45e708f459
parentf4b0f8f1877e92e3def1017cf089c857ded932c3
Talk to push.dgit.debian.org, rather than the .debian.net alias.
debian/changelog
dgit