为什么 github 的 repo内搜索有时候明明存在一个字符串，我们却搜索不到

github 的 repo内搜索引擎是有缺陷的，两种解决方法

1. clone 下来后用 find 和 grep 去搜索

2. 使用 github.com/search，参考这几个网页

https://github.blog/2008-11-03-github-code-search/

https://github.com/search

https://github.com/search?q=repo%3Aumd-memsys%2Fgem5+dramsim3&type=code

https://github.com/features/code-search

https://stackoverflow.com/questions/26433561/how-to-search-on-github-to-get-exact-string-matches-including-special-character  （这个尤其重要，有提到 github 默认搜索设置会出错的原因）

https://sourcegraph.com/search?q=context:global+repo:%5Egithub%5C.com/gem5/gem5%24+dramsim3&patternType=standard&sm=1&groupBy=repo  （还有就是使用 sourcegraph） 

或者 clone 下来使用 git-grep