Error: Failed to revert commit 80ea2cee1b7b03011bfb13d06d97b9a44385f20c 'git revert --no-commit 80ea2cee1b7b03011bfb13d06d97b9a44385f20c' failed:
Error: Failed to revert commit 80ea2cee1b7b03011bfb13d06d97b9a44385f20c 'git revert --no-commit 80ea2cee1b7b03011bfb13d06d97b9a44385f20c' failed: