repo prune seemed to do exactly what I wanted. I must have missed
that, thanks!
(Forgive the ignorant questions; i'm still wrapping my head around git)
So it sounds like "repo prune" is effectively "i'm done with this topic branch and have uploaded all of the changes I'm going to; now I want to stop using this topic branch and go on to a new one." Is that a fair interpretation?
What if you get partway into some edits and want to abandon them and get back to the state as of when you started the topic branch? That's what 'git reset' is for, right?