Thanks, Mike & Paolo, that was much simpler than I feared. I hadn't
understood that git-rebase did exactly what I wanted, although I used
it for the simpler case of just squashing commits into one before.

-- 
http://rrt.sc3d.org


Reply via email to