@tsuchm: I see that you have approved the PR, but not merged it. In the meantime, I have prepared a few other small optimizations for another push to this same branch bb_quibbles, but if this PR remains outstanding, it may seem to 'adopt' the newer commits to that branch.
This is a problem with my workflow that I need to solve, and would appreciate if you have advice. I suppose one would be just to multiply branches, but it would be nice to remain organized with all related commits on the same branch.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.