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