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