Error: Failed to revert commit a80ddd9631eda3ff161ed23496ce56cb8491ceff 'git revert --no-commit a80ddd9631eda3ff161ed23496ce56cb8491ceff' failed:
Error: Failed to revert commit a80ddd9631eda3ff161ed23496ce56cb8491ceff 'git revert --no-commit a80ddd9631eda3ff161ed23496ce56cb8491ceff' failed: