Undoing a 'git push'

Question

Here\'s what I did on my supposed-to-be-stable branch...

% git rebase master
First, rewinding head to repla         


        

Answer 1

Another way to do this:

1. create another branch
2. checkout the previous commit on that branch using "git checkout"
3. push the new branch.
4. delete the old branch & push the delete (use git push origin --delete )
5. rename the new branch into the old branch
6. push again.