Skip to content

Point stale docs.sourcegraph.com links at sourcegraph.com/docs - #1851

Open
bahrmichael wants to merge 1 commit into
mainfrom
docs-url-rewrite-88cfd6e5-d8f4-47ad-a67e-f9286a430b5a
Open

Point stale docs.sourcegraph.com links at sourcegraph.com/docs#1851
bahrmichael wants to merge 1 commit into
mainfrom
docs-url-rewrite-88cfd6e5-d8f4-47ad-a67e-f9286a430b5a

Conversation

@bahrmichael

Copy link
Copy Markdown
Contributor

docs.sourcegraph.com is no longer the docs host. This rewrites the remaining absolute references to their sourcegraph.com/docs equivalents.

The rewrite is purely mechanical — only the host portion changes (docs.sourcegraph.com/<path> becomes sourcegraph.com/docs/<path>). Paths that were reorganised since (for example admin/observability/tracing and batch_changes/references/troubleshooting) are already covered by permanent redirects in the docs site's redirect map, so the rewritten links resolve.

In src-cli, CHANGELOG.md is deliberately left alone: those entries are a historical record. In the docs repo the change is scoped to docs/cli/references/**, which is generated from src-cli by src doc — the companion src-cli changeset fixes the generator's source strings so the docs stay correct after the next regeneration.

Created by a Sourcegraph agentic batch change.

@vercel

vercel Bot commented Sep 3, 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 Sep 3, 2026 12:11pm UTC

Request Review

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.

1 participant