Error: Failed to revert commit 100702dfa3505e6083db8b442ccc2d386a5b14b2 'git revert --no-commit 100702dfa3505e6083db8b442ccc2d386a5b14b2' failed:
Error: Failed to revert commit 100702dfa3505e6083db8b442ccc2d386a5b14b2 'git revert --no-commit 100702dfa3505e6083db8b442ccc2d386a5b14b2' failed: