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