I'm going to run some upgrade tasks on git.postgresql.org over the next hour or two. Thus it's likely to drop off the net a few times and come back, and things might work on and off.
Anything pushed should be safe there normally, but it might be inaccessible for some periods of time, giving strange error messages :) Also, expect the web management interface to be offline a bit longer than the actual git server. This does *not* affect gitmaster, just git.postgresql.org. -- Magnus Hagander Me: http://www.hagander.net/ Work: http://www.redpill-linpro.com/