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