|
|
|
|
|
|
by jonasdoesthings
574 days ago
|
|
|
GitHub also had a global code-search for around 1 year now, even with some additional search-operators like programming language. grep app has already existed before GitHub added that feature tho. I think there are some differences in index-size, search fuzzyness, etc. between grep vs github search, but not 100% sure about the details and which is better for what. Example Query:
https://github.com/search?q=System.exit%281%29%3B+%28languag... |
|
|