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