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.
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