I do git cherry-pick -e master and git svn dcommit :)
Jeff Squyres wrote:
> Done. BTW, I use the attached helper script to merge stuff in to the branches (can't remember if I've sent this before or not). It's a trivial thing, but it reduces the amount of stuff I have to type on the command line.