At this point, we can start modeling their internal systems. GitHub itself is up, their loadbalancers are still forwarding web requests, but the key checking service is having a bad day.