git how to revert last merge after push code example

Example: revert last push to server

git reset --hard HEAD@{1}
git push -f