Skip to content

chore: update docs site to v1.3 - #701

Merged
lwshang merged 1 commit into
mainfrom
release/docs-v1.3.0
Aug 7, 2026
Merged

chore: update docs site to v1.3#701
lwshang merged 1 commit into
mainfrom
release/docs-v1.3.0

Conversation

@pr-automation-bot-public

Copy link
Copy Markdown
Contributor

Summary

  • docs-site/versions.json: add v1.3 as the new latest version

Updates the docs version switcher and root redirect to point to the new
release. Merge only after the versioned docs for /1.3/ are deployed —
scripts/release.sh waits for that before merging.

Opened by scripts/release.sh. Approve to let the release proceed.

@pr-automation-bot-public
pr-automation-bot-public Bot requested a review from a team as a code owner August 7, 2026 16:33
Copilot AI balanced review requested due to automatic review settings August 7, 2026 16:33

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@lwshang lwshang left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verified: 1.3 prepended as the sole latest, 1.2 demoted, other entries untouched. https://cli.internetcomputer.org/1.3/ is already serving (200), so the root redirect flip is safe.

@lwshang
lwshang merged commit 8fce05b into main Aug 7, 2026
33 checks passed
@lwshang
lwshang deleted the release/docs-v1.3.0 branch August 7, 2026 16:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants