Error: Failed to revert commit 8020fee4e3755db1002d52f7017378ab1017e317 'git revert --no-commit 8020fee4e3755db1002d52f7017378ab1017e317' failed: