diff --git a/.github/workflows/merge.yml b/.github/workflows/merge.yml index 42e3bef4a78..d111ac13716 100644 --- a/.github/workflows/merge.yml +++ b/.github/workflows/merge.yml @@ -66,6 +66,7 @@ jobs: publish_dir: ./docs/build/html destination_dir: . force_orphan: true + keep_files: true - name: Deploy develop branch merges to /develop if: success() && github.ref_name == 'develop' uses: peaceiris/actions-gh-pages@v3 diff --git a/docs/source/Support/bskReleaseNotesSnippets/1664-preserve-develop-docs.rst b/docs/source/Support/bskReleaseNotesSnippets/1664-preserve-develop-docs.rst new file mode 100644 index 00000000000..65e79326937 --- /dev/null +++ b/docs/source/Support/bskReleaseNotesSnippets/1664-preserve-develop-docs.rst @@ -0,0 +1 @@ +- Fixed documentation deployment so publishing the main site preserves the development documentation at ``/develop`` (#1664).