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