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
> 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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk