Request: a way to ignore .gitattributes

Hi,

We have a git repo that is a mirror of an svn repo. The tools create a huge .gitattribute file that is about 83,000 entries. Almost all are of the form: <path> -text

This file kills git grep. A grep that takes <1s without the file takes almost 2 minutes with the file. So git grep it unusable.

My current solution is to rename the file:

-#define GITATTRIBUTES_FILE ".gitattributes" +#define GITATTRIBUTES_FILE ".gitattributes-no"

But I would like a cleaner solution so I don't have to maintain my own git.

My request is more for what would be the best gitish way to solve this; I am willing to do the actual patch.

This needs to be something in the local config and not global. My current thoughts are:

1) A way to override the default name (much like I do now):
   gitattributesfile = .gitattributes-no

2) A flag variable:
   gitattributes = ignore
        or
   ignoreattributes = true

I personally like 1) because it would also work for the case where you want to override a bad .gitattributes file (that you have no control over) with a good .gitattributes file. I just think it would be more generally useful.

But I would like to pick a solution that is most likely to get accepted.

Cheers,
   Sean MacLennan