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