Github search is fine, do not get me wrong. But this is like telling someone lamenting on the hypothetical end of Google search: "Just use the search function i

Github search is fine, do not get me wrong. But this is like telling someone lamenting on the hypothetical end of Google search: "Just use the search function in Facebook, you don't need more"