Use a pipe to pass filenames to git check-ignore

The number of files in a project could be larger than the limit on command-line arguments. Using a pipe avoids running into this issue.