git service migrated

We have just "flipped the switch" in the DNS to migrate the git service
to the new machine.

The DNS zone has a 5 hour timeout, during which you may still end up on
the old machine. This machine will continue to serve the repositories inread-only mode.

This includes the main PostgreSQL git clone which will be served but no
longer updated. The new server will pick up where the old one left off,
and there is no reconfiguration of your local repositories required to
"git pull" from the new one - it will be completely automatic once DNS
has switched over.

I'm sure there is something we've missed, and we'll correct that as soon
as we find it :-)

/Magnus