We certainly have that infrastructure(postgresql.org has around 50(!) servers for various purposes and a dedicated master repository is one of them), what are are doing here is simply delinking the "real" master repository from the anonymous repository and other downstream clones like github for a while.
There is a pretty good post form magnus with actual fact available as well: http://blog.hagander.net/archives/212-About-security-updates-and-repository-lockdown.html in case you need more information.
Slashdot Mirror
We certainly have that infrastructure(postgresql.org has around 50(!) servers for various purposes and a dedicated master repository is one of them), what are are doing here is simply delinking the "real" master repository from the anonymous repository and other downstream clones like github for a while. There is a pretty good post form magnus with actual fact available as well: http://blog.hagander.net/archives/212-About-security-updates-and-repository-lockdown.html in case you need more information.