Boost logo

Boost :

Subject: Re: [boost] [git][multi_index] help merging from develop
From: Joaquin M Lopez Munoz (joaquin_at_[hidden])
Date: 2013-12-24 15:11:38

Bjørn Roald <bjorn <at>> writes:

> On 12/24/2013 06:17 PM, Bjørn Roald wrote:
> > right, see my reply to Peter on this, copy-paste error of mine. Should
> > have been.
> >
> > git reset --hard 3239677c40b6e15d1bb49675cabb077460333538
> OK, I try again.
> git reset --hard 802543fd948b5cf41460addf2260693f08cf7f8d

Did that, merged from develop, resolved conflicts as theirs (develop's),
commited OK but push failed with

git.exe push --progress "origin" master:master

! [rejected] master -> master (non-fast-forward)
error: failed to push some refs to ''
hint: Updates were rejected because the tip of your current branch is behind
hint: its remote counterpart. Integrate the remote changes (e.g.
hint: 'git pull ...') before pushing again.
hint: See the 'Note about fast-forwards' in 'git push --help' for details.

git did not exit cleanly (exit code 1) (13510 ms @ 24/12/2013 21:09:27)

Joaquín M López Muñoz
Telefónica Digital

Boost list run by bdawes at, gregod at, cpdaniel at, john at