Comment
Comment by avar
I'm finding that pushes do go through eventually, this is probably grossly irresponsible, so I don't recommend its use, but I remembered I had this old alias to "push harder" in my ~/.gitconfig:
I've done a few pushes so far, and found that it's going through in <10 tries or so.