github でファイル名を検索する機能があったのでここにメモしておきます。 検索方法 レポジトリのトップ画面を開く [t]キーをクリック(ファイルファインダーを起動) ファイル名の検索が表示される ファイル名を入力 参考 GitHub でファイルを検索する - GitH…