Hello, I also have to strip duplicate HEADs out. So we do the following: run 0: kill dups run 1: kill HEADs which are referenced in the history of other HEADs run 2: do the merging (still don't know to what I should set the local HEAD to the 'left' or 'right' part. Maybe we should create temporary commit object so that 'merge-base' can better work on them? Thomas - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.htmlReceived on Mon May 30 19:22:56 2005
This archive was generated by hypermail 2.1.8 : 2005-05-30 19:22:57 EST