Error: Failed to revert commit 5f513f0c9f0f287b0301445d41cc0e76b717cc72 'git revert --no-commit 5f513f0c9f0f287b0301445d41cc0e76b717cc72' failed: