Skip to content

Update docs latest version to 8.1 - #2092

Merged
aditiabhang merged 1 commit into
mainfrom
aditi/update-docs-to-8-1
Oct 15, 2026
Merged

aditiabhang merged 1 commit into
mainfrom
aditi/update-docs-to-8-1

Conversation

@aditiabhang

Copy link
Copy Markdown
Contributor

Summary

  • Set DOCS_LATEST_VERSION to 8.1
  • Add Sourcegraph 8.0 (https://8.0.sourcegraph.com) to the version selector

The 8.0 docs are archived on docs-legacy-versions v8_0, cut from fb50b82b (current main tip, the parent of this bump).

Merge timing

Merge when Sourcegraph 8.1 is released, after 8.0.sourcegraph.com is live (DNS in sourcegraph/infrastructure plus the Vercel domain mapping on the docs-legacy-versions project), so the selector link does not 404.

Test plan

  • npx tsc --noEmit

@vercel

vercel Bot commented Oct 15, 2026 •

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
sourcegraph-docs Ready Ready Preview Oct 15, 2026 4:34pm UTC

Request Review

@github-actions

github-actions Bot commented Oct 15, 2026 •

Copy link
Copy Markdown
Contributor

@aditiabhang
aditiabhang merged commit 24f42d9 into main Oct 15, 2026
7 checks passed
@aditiabhang
aditiabhang deleted the aditi/update-docs-to-8-1 branch October 15, 2026 16:40

This branch was successfully deployed

1 active deployment
Preview — 19422447 Deployed Oct 15, 2026 by vercel[bot]
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