Hi Frans, On Mittwoch, 18. März 2015, Frans Spiesschaert wrote: > I messed things up and need help. > When I tried to push the updated Dutch translation today, it was > rejected. I then issued a git fetch command and tried to push again, but > with no success. > Eventually a issued > git push origin HEAD:4d2597f4eb2451071bd290f5014585f7ae770ae3 > which created a new branch and that was not what I intended to do. > How can I revert this push action? you delete branches by pushing them with a colon prefixed, so git push origin foo # pushes branch foo to origin git push origin :foo # deletes branch foo at origin so git push origin :4d2597f4eb2451071bd290f5014585f7ae770ae3 should be what you need to do. cheers, Holger
Description: This is a digitally signed message part.