Skip to content

docs: Remove the Sourcegraph.com docs - #2097

Merged
enriquegh merged 1 commit into
mainfrom
enrique/remove-dotcom-docs
Oct 19, 2026
Merged

enriquegh merged 1 commit into
mainfrom
enrique/remove-dotcom-docs

Conversation

@enriquegh

Copy link
Copy Markdown
Contributor

Removes the /dotcom docs. Sourcegraph.com is still running, but these pages described a mission and open source indexing commitment that no longer reflect the company's direction, and they don't serve readers.

  • Delete docs/dotcom/ (the index page and "Indexing the OSS universe"); nothing else in the docs linked to them, and they were not in the sidebar
  • Redirect /dotcom, /dotcom/indexing-open-source-code, and the older /dotcom/indexing_open_source_code to the docs home, so external links don't 404
  • Drop the pages' Algolia product mapping

Redirect and link checks against the merge base report no new findings.

Amp thread: https://ampcode.com/threads/T-01a1561c-0b8e-707d-937b-1b99cf0699a5

@vercel

vercel Bot commented Oct 19, 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 19, 2026 9:51pm UTC

Request Review

@github-actions

github-actions Bot commented Oct 19, 2026 •

Copy link
Copy Markdown
Contributor

The /dotcom pages described Sourcegraph.com's mission and open source
index, which no longer reflect the company's direction.

- Delete docs/dotcom/
- Redirect the /dotcom URLs to the docs home
- Drop the pages' Algolia product mapping

Co-authored-by: Amp <amp@ampcode.com>
Amp-Thread-ID: https://ampcode.com/threads/T-01a1561c-0b8e-707d-937b-1b99cf0699a5
@enriquegh
enriquegh force-pushed the enrique/remove-dotcom-docs branch from bc0d6c3 to 13e9f4e Compare October 19, 2026 21:50
@enriquegh
enriquegh enabled auto-merge (squash) October 19, 2026 21:50
@enriquegh
enriquegh requested a review from a team October 19, 2026 21:51
@enriquegh
enriquegh merged commit 5725886 into main Oct 19, 2026
8 checks passed
@enriquegh
enriquegh deleted the enrique/remove-dotcom-docs branch October 19, 2026 21:56

This branch was successfully deployed

1 active deployment
Preview — 13e9f4ed Deployed Oct 19, 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