Hey folks, the issue on the Git server has been resolved. For those of you playing along from home, we ran into the very interesting problem that we ran out inodes on the Git server. So despite having plenty of disk space, the nature of the many many repos we are storing caused us to use up all 1.3 million available inodes.
I’m very sorry for the interruption in service, but I believe we have resolved the issue for the time being, and we’re working on adding robustness to our server configuration to prevent a similar issue down the road.
That said, kudos to all you subscribers using up 1.3M inodes. That’s a lot of exercises 
!