Error: Failed to revert commit 72dd20293654d80977572fd65018a5333b012292 'git revert --no-commit 72dd20293654d80977572fd65018a5333b012292' failed:
Error: Failed to revert commit 72dd20293654d80977572fd65018a5333b012292 'git revert --no-commit 72dd20293654d80977572fd65018a5333b012292' failed: