Fix git push command.

.github/workflows/ci.yml

@@ -47,7 +47,7 @@ jobs:
           git config --global user.email "[email protected]"
           git add book/book
           git commit -m "${{ env.CI_COMMIT_MESSAGE }}"
-          git push origin deploy
+          git push -u --force-with-lease origin deploy
 
   formatter:
     runs-on: ubuntu-latest