Re: how to undo a git merge?

On Fri, Jul 11, 2008 at 12:16:15PM -0400, ff [off-list ref] wrote:

Now I would like to revert the merge... what is the best way of doing that?
I would like very much to use something like git-revert <merge_commit_id>
But that does not seem to work.

git revert has a '-m' option to revert merges. See the manpage.

Any help/pointers of an example illustrating solution to this case
would be greatly
appreciated!

Actually if you just did that merge by accident, then probably you want
'git reset --hard HEAD^', not git revert, I think.