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