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