There's some kind of network problem on the RPI campus. Currently no ETA when it will get fixed according to their Twitter.
