From: Felipe Balbi <me@felipebalbi.com>
Date: Wed, 12 Nov 2008 22:23:51 GMT
Subject: fixing duplicated history
Message-ID: <20081112222346.GA24013@frodo>

Hi,

I have a git tree which history is completely messed up with duplicated
entries. By reading git man pages I saw that it might be possible to
delete those duplicated entries with git reflog delete, am I reading it
right ?

If so, would it cause any problems to the users who already cloned the
original tree ? I mean, will git see it as a different history line and
try a merge or will it figure it's the same tree with the duplicated
entries removed ?

Thanks in advance for the help

-- 
balbi