🤖 Sync generated docs from sourcegraph/sourcegraph (2026-03-13/01-54-08)#1684

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

sync/2026-03-13/01-54-08sourcegraph/docs:sync/2026-03-13/01-54-08Copy head branch name to clipboard