Clear our destination directories before copying files to GitHub pages. (#10869)

clokep · web-flow · commit ebd8baf61ff8 · 2021-09-21T16:32:46.000Z
This should fix stale deleted files being still accessible.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -61,6 +61,5 @@ jobs:
         uses: peaceiris/actions-gh-pages@068dc23d9710f1ba62e86896f84735d869951305 # v3.8.0
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          keep_files: true
           publish_dir: ./book
           destination_dir: ./${{ steps.vars.outputs.branch-version }}
diff --git a/changelog.d/10869.doc b/changelog.d/10869.doc
@@ -0,0 +1 @@
+Properly remove deleted files from GitHub pages when generating the documentation.

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+Properly remove deleted files from GitHub pages when generating the documentation.`