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