@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.