Es ist doch völlig irrelevant wie das Pushen zu Stande kommt.
Entweder es ist ein Softwarefehler oder es hat jemand dafür gesorgt, dass sie so hochkam, wie auch immer.