Boost logo

Boost :

Subject: Re: [boost] [git][multi_index] help merging from develop
From: Peter A. Bigot (pab_at_[hidden])
Date: 2013-12-24 11:56:56


On 12/24/2013 10:46 AM, Daniel James wrote:
>> Yes, I want the master branch to be exactly the same aas the branch
>> develop stands now.
>
> There used to be 'git merge -s theirs' for doing that, which was the
> opposite of 'git merge -s ours' but they removed it. I did a quick
> search and found a solution on stack overflow
> (http://stackoverflow.com/a/5211321/2434):
>
> git diff --binary origin/develop | git apply -R --index
> git commit -m "Copy content from develop"
>
> Which is at least less fuss than the other solutions.

It does make the content identical, but the resulting commit has a
different SHA1 than origin/master, so leaves open the potential for
future conflicts. Doing a "-s ours" merge in develop brings both
content and git parentage into sync.

Peter


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk