Git patch: don't complain about ignored paths in pathspec

This patch does what the title says.

It is far easier for git to know what are the ignored files than to the caller of git to figure out what should not be put in the command line. It makes easier to use git with my scripts.