github/gitscm-next — pull request #159 by mmozuras (2012-06-25 21:12:12+00:00)
Title: Improve erratic search results

Sometimes search was showing non-optimal results. This happened because
earlier requests would respond slower. You can reproduce that by quickly
typing 'git push' multiple times into the searchbox. I was able to get
'git push', 'git citool' and 'git-request-pull' as my top result
depending on response times for different requests. This solution
doesn't completely fix this problem, but helps alleviate it quite a bit
while also reducing the number of requests to the server.

Since Search.searching was already declared, you might've been aware of
the problem and might have some other ideas how you'd like to solve it.