On Wed, 20 Apr 2005, Petr Baudis wrote: > > I will probably not buy git-export, though. (That is, it is merged, but > I won't make git frontend for it.) My "git export" already does > something different, but more importantly, "git patch" of mine already > does effectively the same thing as you do, just for a single patch; so I > will probably just extend it to do it for an (a,b] range of patches. That's fine. It was a quick hack, just to show that if somebody wants to, the data is trivially exportable. Linus