Add documentation workarounds for dubious ownership#986

joshuataylor wants to merge 1 commit intosourcebot-dev:mainsourcebot-dev/sourcebot:mainfrom

joshuataylor:docs/sourcebot-git-configjoshuataylor/sourcebot:docs/sourcebot-git-configCopy head branch name to clipboard