Dear diary, on Mon, Apr 18, 2005 at 02:45:22AM CEST, I got a letter where David Woodhouse <[EMAIL PROTECTED]> told me that... > On Mon, 2005-04-18 at 02:35 +0200, Petr Baudis wrote: > > > For the special case of removing history before 2.6.12-rc2 from the > > > trees, I certainly think we can do it by leaving out all the commits, > > > not just the trees. We can do that easily, but there's no way we can > > > _add_ that history retrospectively if we omit it in the first place. > > > > I'm confused by this paragraph, but that might be my English skills > > failing somehow. > > "For the general case of people pruning their own trees, _maybe_ you're > right that it would be good to keep the commits even if we delete the > actual trees. But for history older than 2.6.12-rc2, that's a special > case -- I think we can happily delete the commits too.
Ah _so_. Thanks for explanation. I think I will make git-pasky's default behaviour (when we get http-pull, that is) to keep the complete commit history but only trees you need/want; togglable to both sides. -- Petr "Pasky" Baudis Stuff: http://pasky.or.cz/ C++: an octopus made by nailing extra legs onto a dog. -- Steve Taylor - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html