🤖 Sync generated docs from sourcegraph/sourcegraph (2025-12-19/21-45-23)#1500

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

sync/2025-12-19/21-45-23sourcegraph/docs:sync/2025-12-19/21-45-23Copy head branch name to clipboard