I can confirm the San Diego server appears to be down. I've asked Martin if there is any way we could reroute to a secondary server when this happens.
I (strongly) don't recommend bypassing the svn server proxy. This will overload the server on mgras.net The proxy is needed to load balance the new terrasync servers.
EDIT: Martin has fixed this issue, and is looking at an automated way to detect and update the mirrors list accordingly.
If you hardcoded foxtrot.mgras.net, please edit your settings back to the proxy at
http://scenery.flightgear.org/svn-serverFor me, I now get a different mirror than the sd server.
Thank you,
Pete