Re: How to deal with mixed tree?

Holger Hellmuth [off-list ref] writes:

(see "Bug report - local (and git ignored) file silently removed after
checkout" on the mailing list why exclude is better than .gitignore at
the moment)

Don't look at it or encourage people to rely on that bug to be
fixed. exclude and .gitignore should behave the same way.