docs: document local repo paths with spaces#1403

dashitongzhi wants to merge 1 commit into

sourcebot-dev:mainsourcebot-dev/sourcebot:mainfrom

dashitongzhi:docs/local-repo-spaces-20260630090631dashitongzhi/sourcebot:docs/local-repo-spaces-20260630090631Copy head branch name to clipboard