I have reverted a merge commit (feature -> develop) this way:
git revert -m 1 <merge-commit-hash>
git push origin develop
A new commit has been created Revert "Merge branch 'feature'" Now I want to revert that revert. Should I just use the following command: git revert <revert-merge-branch-commit-hash> ?