🤖 Sync generated docs from sourcegraph/sourcegraph#1806

sourcegraph-buildkite wants to merge 1 commit into

mainsourcegraph/docs:mainfrom

sync/generated-docssourcegraph/docs:sync/generated-docsCopy head branch name to clipboard