🤖 Sync generated docs from sourcegraph/sourcegraph (2026-04-01/06-02-36)#1732

sourcegraph-buildkite wants to merge 1 commit intomainsourcegraph/docs:mainfrom

sync/2026-04-01/06-02-36sourcegraph/docs:sync/2026-04-01/06-02-36Copy head branch name to clipboard