I wanted to revert the last push on branch branch1 and I used this command when I was on branch1:
git push -f origin HEAD^:master
and instead of writing git push -f origin HEAD^:branch1. The result is that my master become branch1. Now I want to bring back my old master. Can I do that?