Re: is there a 'git find'?

E R [off-list ref] writes:

Within a specific commit I'd like to find all the files whose path
names match a regular expression.

    git ls-tree -r [--name-only | -t] "$commit" | grep -e "$pattern"

?