git push failed, we're looking into it (we have no idea)

We are seeing failures for some git http operations and are investigating