[jud_white]

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