How to revert a PR with Git ? (reminder)

• Find the PR you want to revert - Copy the hash

git checkout develop 
git pull
git checkout -b new-branch-name
git revert -m 1 hash # The default editor will open
git push -u origin new-branch-name

• Create a new PR from the branch 
• Merge the new PR