Re: changes in hosting of live.debian.net
half an hour ago, i switched the dns. since both hosts are serving the
exact same content, nobody will get any troubles when using l.d.n/debian
the only difference is, that only the new host is accepting ssh pushes,
means, if you want to push to live.debian.net and your dns is giving you
still the old ip, you can do any of the following things:
* replace live.debian.net with 126.96.36.199 in .git/config of your
repository that you want to push.
* put a temorary entry '188.8.131.52 live.debian.net' in your
* or just wait until your dns has got the new ip.
Address: Daniel Baumann, Burgunderstrasse 3, CH-4562 Biberist