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 = trueI 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