Petr Baudis <pasky@xxxxxxx> writes: > On Thu, Jul 03, 2008 at 02:13:31AM +0200, Petr Baudis wrote: >> So, the real solution is to take the commit objects you want to >> modify, create new commit objects, then graft the new commit on all the >> old commit children. It fits neatly in the Git philosophy, there is no >> need at all to tweak the current infrastructure for this and it should >> be trivial to automate, too. > > Oops, sorry; I stopped reading the branch of the thread I thought was > going off on a different tangent one post too early. :-) What you wrote was a very good summary of what Dmitry suggested earlier ;-) -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
