This question already has an answer here:
I accidently overwrote another developper's changes when doing a merge in git. I know how to undo the last commit, that is, my merge.
My problem is that I already pushed those commits into our online repository. So if I roll back, do my merge merge again (with his modifications this time) and try to push it again, there will be a conflict (right?). What is right the way to handle this ?
EDIT To clarify, here is what the situation looks like :
commit A --- commit B --- merge
But in the merge I accidentally discarded the modifications made in commit A. This isn't really a problem. I know how to make the changes locally (undo the merge). But my problem is that the whole thing has been pushed into our shared repository (think github or bitbucket).
git cherry-pick
. This way you would add to the history rather than changing it, which is always a bad idea if the history is published! – musicmatze May 23 '14 at 15:25git revert
merges, too. So maybe this is another option! – musicmatze May 23 '14 at 15:29