otac0n/WebGitNet — pull request #50 by netclectic (2012-12-16 01:28:14+00:00)
Title: Search providers

Scratch that last pull request, can't seem to edit the branch...

I've implemented a rudimentary file content search using git grep. I added the repo path to RepoInfo to make life a little easier.