gnome.org outage: Dec 12, 13

[Owen Taylor <otaylor redhat com>]

Red Hat is currently in the process of consolidating all its community
hosted servers to a single hosting facility. As part of that,
the gnome.org servers are being moved *this weekend*. 

You plan on doing something other than working on GNOME this weekend, or
find a programming task that doesn't rely on access to GNOME servers.

Time
====

Start:              Sat, Dec 12 approx. 1200 UTC
End:   on or before Mon, Dec 14

The plan is for a 48 hour outage window; we would hope to have major
services back up and functional sooner than that.

Affected systems
================
Most gnome.org services other than ftp.gnome.org and irc.gnome.org. This
includes:

 www.gnome.org
 master.gnome.org
 bugzilla.gnome.org
 git.gnome.org
 mail.gnome.org
 live.gnome.org

IP Changes
==========

The gnome.org servers will all be moving to new IP addresses; in general
this will be invisible to users, but you might notice messages from SSH
in some cases. Selected new IPs:

 master.gnome.org: 209.132.180.167
 git.gnome.org:    209.132.180.173