On Sat, Nov 12, 2022 at 11:25:04PM +0000, Gavin Smith wrote: > > I can do that change/commit on the 7.0 branch. > > OK that's fine. You can either do > > git cherry-pick b238da561dad6 > > and then to remove parts of the commit, do > > git reset --soft HEAD^ > > followed by > > git reset . > git checkout --patch > git add -u > > etc., or if you prefer you can start the commit from scratch. I'm > not sure if it makes a difference either way - it tells you when > you are committing that you are cherry-picking, but I can't see that > this is recorded anywhere afterwards.
I redid from scratch, it was simpler that way, but thanks for the tips. -- Pat
