Probably because I don’t prioritise GitHub anymore. Their own search is great, but it might get picked u[ eventually. There is ranking, first by a pre rank pop

Probably because I don’t prioritise GitHub anymore. Their own search is great, but it might get picked u[ eventually. There is ranking, first by a pre rank popularity of the repository and secondly by tf/idf of the trigrams. It’s weighted towards longer matches in the display as well. But let me know where it’s not doing what you expect and I’ll fix it.