danfox

Thanks :) If you type into the path filter box, that'll match against the full path for each file, so you can use that to filter on a filename.

I think that error was just because the server was overloaded - sorry about that.

It indexes the default branch of each repo.

There isn't any deduplication, although that will hopefully be less of an issue at this point since there's a limited number of repositories in the index.

It was based on the number of stars/forks and the size of the repository.

Thanks! It's built on top of Solr. It fetches the repos from GitHub - it should pick up any updates to repos within a few days. It's running on a couple servers with 20 cores each, which is not really enough for the traffic it's getting right now.