Comment by jud_white

Even the wiki is a git repo, though there's no built in search like there is for repositories and issues.