Felix>Well, disk space is cheap nowadays The main improvement is: A) network transfer. Often you just want to have a fresh clone, and 120 vs 60 mib transfer makes difference. It is especially the case when you know that one half makes no sense :) B) Git response times. Git local repo needs housekeeping, and extra objects increase those timings. C) less clutter in the repository simplifies historical analysis
Felix> When we look at it again, we should really drop it. It is a nuisance at least to me My current script drops docs/ from all the branches. Vladimir
