The git term "merge" is very different from "cherry-pick", so I'm not a bit confused about what you try to say here.
I'm referring to lots of commit messages in the master branch with commit messages "merge foobar into next". These could only have gotten there through a fairly large merge of next into master, not by a cherry-pick. Did you want to do "git cherry-pick <commit>" but instead did a "git merge <commit>"? Martin _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
