Revert "repo sync"#20115

hudsontrius wants to merge 1 commit intogithub:maingithub/docs:mainfrom

hudsontrius:revert-20111-repo-synchudsontrius/docs:revert-20111-repo-syncCopy head branch name to clipboard