🤖 Sync generated docs from sourcegraph/sourcegraph (2026-01-10/01-42-56)#1527

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

sync/2026-01-10/01-42-56sourcegraph/docs:sync/2026-01-10/01-42-56Copy head branch name to clipboard