Re: git index containing tree extension for unknown path

2015-01-22 Thread Christian Halstrick
Thanks for the explanation. In my case it seems we have an invalid index. I modified the gin script [1] to inspect the index and found valid cached trees in the index for pathes for which the index has no entries. Will try to find out who/how the index was corrupted. [1] https://raw.githubusercont

Re: git index containing tree extension for unknown path

2015-01-21 Thread Junio C Hamano
Christian Halstrick writes: > Is it allowed that the git index contains a tree extension mentioning > patch 'x/y/z' while the only entry in the index is a '.gitattributes' > files in the root? Depends on the definition of "mention", but it is not unexpected that you see "x", "y", and "z" in the

git index containing tree extension for unknown path

2015-01-21 Thread Christian Halstrick
Is it allowed that the git index contains a tree extension mentioning patch 'x/y/z' while the only entry in the index is a '.gitattributes' files in the root? I have such a repo in a bug report against JGit [1]. Native git has no problems with this repo but JGit can't read such an index. I am wond