Skip to content

🤖 Sync generated docs from sourcegraph/sourcegraph - #2128

Merged
sourcegraph-buildkite merged 1 commit into
mainfrom
sync/generated-docs
Nov 3, 2026
Merged

🤖 Sync generated docs from sourcegraph/sourcegraph#2128
sourcegraph-buildkite merged 1 commit into
mainfrom
sync/generated-docs

Conversation

@sourcegraph-buildkite

@sourcegraph-buildkite sourcegraph-buildkite commented Nov 2, 2026

Copy link
Copy Markdown
Collaborator

This is an automated pull request, created by //doc:generated.push on sourcegraph/sourcegraph

@sourcegraph-buildkite
sourcegraph-buildkite requested a review from a team November 2, 2026 15:43
@vercel

vercel Bot commented Nov 2, 2026 •
edited
Loading

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 Nov 3, 2026 1:28pm UTC

Request Review

@sourcegraph-buildkite
sourcegraph-buildkite enabled auto-merge (squash) November 2, 2026 15:43
@github-actions

github-actions Bot commented Nov 2, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Open the Diff Tour for this PR in Sourcegraph

@github-actions

github-actions Bot commented Nov 2, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Direct preview links to pages changed in this PR:

@github-actions

This comment has been minimized.

Sign in to view
@sourcegraph-buildkite
sourcegraph-buildkite force-pushed the sync/generated-docs branch 2 times, most recently from 337cb79 to c6f69db Compare November 2, 2026 17:59
eseliger
eseliger reviewed Nov 2, 2026
View reviewed changes

@eseliger eseliger left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

@taras-yemets https://sourcegraph.sourcegraph.com/r/github.com/sourcegraph/sourcegraph/-/commit/f4a1fd15a26aae05706a1715f2b49a3d14f7a317 broke the link here. Either we need to move the docs updates to this repo as well, or we need to change this link later in sg/sg I believe 👀

@taras-yemets taras-yemets mentioned this pull request Nov 3, 2026
Draft
@taras-yemets Amp for GitHub

taras-yemets commented Nov 3, 2026

Copy link
Copy Markdown
Contributor

@taras-yemets https://sourcegraph.sourcegraph.com/r/github.com/sourcegraph/sourcegraph/-/commit/f4a1fd15a26aae05706a1715f2b49a3d14f7a317 broke the link here. Either we need to move the docs updates to this repo as well, or we need to change this link later in sg/sg I believe 👀

Thanks! Fixed in sourcegraph/sourcegraph#18275, the link check passes now.

@eseliger

eseliger commented Nov 3, 2026

Copy link
Copy Markdown
Member

thank you!

@sourcegraph-buildkite
sourcegraph-buildkite merged commit f38fd4d into main Nov 3, 2026
9 checks passed
@sourcegraph-buildkite
sourcegraph-buildkite deleted the sync/generated-docs branch November 3, 2026 13:42

This branch was successfully deployed

1 active deployment
Preview — 4775b318 Deployed Nov 3, 2026 by vercel[bot]
View deployment
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@eseliger eseliger eseliger approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@sourcegraph-buildkite @taras-yemets @eseliger @buildkite-at-sourcegraph