Skip to content

Commit

Permalink
Merge pull request #3005 from reubenmiller/docs-add-note-about-versio…
Browse files Browse the repository at this point in the history
…n-management

docs: update notes on doc version management
  • Loading branch information
reubenmiller authored Jul 18, 2024
2 parents 952b379 + 32302d0 commit 10452e8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/internal/RELEASE.md
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ The following steps describes the thin-edge.io release process:

**Notes**

You may need to edit the PR before merging. For example, if you also want to remove an existing version in the same PR, then you will have to checkout the PR, make the edits, then push the changes.
When a new documentation snapshot is created, only the latest major version of each snapshot will be kept.

When the PR is merged, it will trigger a new deployment of the [Github Pages](https://github.com/thin-edge/thin-edge.io/actions/workflows/gh-pages.yml) with the option enabled to update the Algolia search index (e.g. by triggering the Algolia crawler).

Expand Down

0 comments on commit 10452e8

Please sign in to comment.