[PHP-DEV] Is Git Down?

[Will Fitch]

I haven't seen a maintenance notification, and it appears git.php.net may
be down.  Anyone else able to reproduce this?