Error: Failed to revert commit 01da13939f2a233c6d1eb9c0bcda0a96e2a1f4d8 'git revert --no-commit 01da13939f2a233c6d1eb9c0bcda0a96e2a1f4d8' failed: