|
|
|
|
|
by sam0x17
2825 days ago
|
|
It is awesome that they are working on this, but can I just say there are a lot of basic search features they need to add before "doing the hard thing". Here are some things that I should be able to do easily but can't (or can't very easily or well) using GitHub's search mechanism: 1. exact or close string searches for code that involves ![]{}_-*() etc characters 2. searches across past commits (e.g. find a line that used to be in the code) 4. search across pull request + comments (not just issues and commit messages) 5. advanced search operators -- there should be a full filtering UI with ands and ors etc Because of this I often find my self grepping locally, or (more often) totally out of luck. |
|