Just wondering if I missed an announcement somewhere but I haven't been able to access anongit.freedesktop.org for the last couple hours.