Work around what I think is GitHub throttling.