On Thu, Aug 2, 2012 at 11:43 AM, Bernard Helyer <b.helyer at gmail.com> wrote: > > Yeah, it looks like a github server has fallen down. Seems like it isn't known yet: https://status.github.com/ David