Aha! I always wondered what cherry-pick was for. Just did that and it worked nicely. I didn't want to merge and revert because I would have spent hours unpicking a huge patch only to revert it.
Thanks for the tip. -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To view this discussion on the web visit https://groups.google.com/d/msg/git-users/-/C8Em9VfD-kgJ. To post to this group, send email to git-users@googlegroups.com. To unsubscribe from this group, send email to git-users+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/git-users?hl=en.