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