🤖 Sync generated docs from sourcegraph/sourcegraph (2026-01-02/21-59-34)#1513

bobheadxi merged 1 commit intomainsourcegraph/docs:mainfrom

sync/2026-01-02/21-59-34sourcegraph/docs:sync/2026-01-02/21-59-34Copy head branch name to clipboard