From: Caleb Cushing Date: Tue, 24 Feb 2009 06:52:59 GMT Subject: Re: how do I resolve this merge manually + mergetool bug Message-ID: <81bfc67a0902232252h56570308r22872854af8da54a@mail.gmail.com> In-Reply-To: <7vbpssmjm9.fsf@gitster.siamese.dyndns.org> On Tue, Feb 24, 2009 at 1:31 AM, Junio C Hamano wrote: > >    $ git cat-file blob :1:profiles/package.mask >original >    $ git cat-file blob :3:profiles/package.mask >theirs >    $ git cat-file blob profiles/package.mask/frotz >mine >    $ git merge-file mine original theirs >    $ diff -u profiles/package.mask/frotz mine ;# eyeball the merge result >    $ cat mine >profiles/package.mask/frotz so do all this if theirs is different? (at the moment I know it isn't) > and then finally conclude the merge with: > >    $ git rm profiles/package.mask >    $ git add profiles/package.mask/frotz git rm profiles/package.mask rm 'profiles/package.mask' rm 'profiles/package.mask' rm 'profiles/package.mask/gentoo.org' rm 'profiles/package.mask/java-overlay' rm 'profiles/package.mask/perl-experimental' rm 'profiles/package.mask/regen2.org' rm 'profiles/package.mask/sunrise' fatal: git rm: profiles/package.mask: Is a directory and git status still shows.. # unmerged: profiles/package.mask -- Caleb Cushing http://xenoterracide.blogspot.com