Fix git push command.

mainmatter · May 24, 2024 · a7188b5 · a7188b5
1 parent 8a1c2da
commit a7188b5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -45,9 +45,9 @@ jobs:
         run: |
           git config --global user.name "${{ env.CI_COMMIT_AUTHOR }}"
           git config --global user.email "[email protected]"
-          git add book/book
+          git add --force book/book
           git commit -m "${{ env.CI_COMMIT_MESSAGE }}"
-          git push -u --force-with-lease origin deploy
+          git push --set-upstream --force-with-lease origin deploy
 
   formatter:
     runs-on: ubuntu-latest