🤖 Sync generated docs from sourcegraph/sourcegraph (2026-02-06/19-13-46)#1591

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

sync/2026-02-06/19-13-46sourcegraph/docs:sync/2026-02-06/19-13-46Copy head branch name to clipboard