I do git cherry-pick -e master and git svn dcommit :) Brice
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. >
