[解決済み] ファイル拡張子による git grep

質問

ある拡張子を持つファイルに対してのみ、あるパターンを grep したい場合、このようにできることは知っています。

// searches recursively and matches case insensitively in only javascript files
// for "res" from the current directory
grep -iIr --include=*.js res ./

私はこれをgit grep経由でも行える方法を探したのですが（git grepがツリーと一緒に保存するインデックスからその速度を利用するため）、無駄になっています。私が見たのは ここで を見ると、特定のファイル タイプを除外することは不可能であることがわかります。

どのように解決するのですか？

はい、例えば

git grep res -- '*.js'