On Thu, Nov 07, 2013 at 09:27:16PM +0100, Karsten Blees wrote: > > How about: > > > > It is not possible to re-include a file if a parent directory of that > > file is excluded. Once git considers a directory excluded, it does not > > descend into the directory to consider its contents further. > > > > Hmm...an unsuspecting reader might still assume that it works in > top-level .gitignore, given the precendence rules above... > > How about this: > > It is not possible to re-include a file if a parent directory of that > file is excluded. Git doesn't list excluded directories for performance > reasons, so any patterns on contained files have no effect, no matter > where they are defined.
Yeah, I like that. -Peff -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html