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