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