We see a non-trivial amount of automated build failures caused by git timeouts and Varnish cache meditation. This is only likely to get worse as we've automated so many different build configurations, and the PostgreSQL sysadmin team don't really want to get into the business of large-scale repository hosting.
I suggest we move our primary repo to Github. Any objections?
