Use official redirector address httpredir.debian.org [1]
authorPaul Menzel <paul.menzel@giantmonkey.de>
Wed, 17 Jun 2015 18:16:30 +0000 (20:16 +0200)
committerPaul Menzel <paul.menzel@giantmonkey.de>
Wed, 17 Jun 2015 18:16:30 +0000 (20:16 +0200)
The address `http.debian.net` is officially replaced by
`httpredir.debian.org`.

Use the following command to update all places.

git grep -l 'http.debian.net/debian' | xargs sed -i 's,http.debian.net/debian,httpredir.debian.org/debian,g'

[1] http://httpredir.debian.org


No differences found