Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Search results improvements #308
Improve results produced by the new search introduced by #85.
Report problems and bad/suboptimal results here. (Check the Known Problems below first, please!)