Error: Failed to revert commit 7872b5bab023b475b9db3ac58d4b45824886617f 'git revert --no-commit 7872b5bab023b475b9db3ac58d4b45824886617f' failed: