servegit: use more performant WalkDir#938

keegancsmith merged 2 commits intomainsourcegraph/src-cli:mainfrom

k/walkdirsourcegraph/src-cli:k/walkdirCopy head branch name to clipboard