On Sat, Sep 26, 2020 at 06:29:50AM +0200, Johannes Schindelin wrote: > > Thanks, I think that does look nicer. Shouldn't the latter bullet apply > > to most of the ones in patch 4, though? > > > > I wonder if they should simply be "s/master/topic/" instead of > > "s/master/main". > > Yes! I did that in 4/5. In 5/5, we need a branch name that starts with the > same two letters as `maint`, though. I amended the commit message > accordingly. That makes sense, and your commit message is clear. All of your v3 looks good to me. Thanks for your patience on these rather tedious changes. :) -Peff