GitHubでIPアドレスを検索する方法

概要

IPアドレスの置き換えをするので、使用元コードをGitHubで探そうとしたけどうまくでてこなかったのでちょっと工夫してみたという話です。

やりかた

結論からいうと、IPアドレスを検索したいときは、IPアドレスをダブルクオートでくくってやれば良さそうです。
ダブルクオートでくくる事でand検索ができて、かつ、ドットのような記号が無視されるそうです。
172.28.1.2を検索する場合は、
"172.28.1.2"とすると良いです。
ただ、172と28と1と2を含む文字列の検索になるので、不要な単語を含んでしまう事ももちろんあります・・・。

参考