diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 445dba6..acad39c 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -21,4 +21,4 @@ jobs:
       - run: git -c user.name=bot -c user.email=octocat@github.com commit -m github-pages
       - run: git remote add github "https://github:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git"
         env: { GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}" }
-      - run: git subtree push -f --prefix docs github gh-pages
+      - run: git subtree push --prefix docs github gh-pages