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