Scheduled maintenance for live.debian.net
Tomorrow, the containers serving live.debian.net (and potentially
live-manual.debian.net) will be offline for about an hour between
10:00 and 12:00 (UTC+2).
The container will be updated to squeeze, and move to another host
better suited for the debian-live stuff, hence the IP will change from
188.8.131.52 to 184.108.40.206.
Since the old container will remain on the old IP for a while, there
will be no user visible changes, except for those who push to the git
Therefore, the pushing to the git repos at the old IP will be disabled.
For those who need to push but did not yet recieve the DNS update at
that time, they might consider using the static IP in their config files
in the git repos, or, locally override the DNS.
Sorry for the inconveniences.
Address: Daniel Baumann, Donnerbuehlweg 3, CH-3012 Bern