Hi Junio, On Wed, 21 Oct 2020, Junio C Hamano wrote: > "Johannes Schindelin via GitGitGadget" <gitgitgadget@xxxxxxxxx> > writes: > > > From: Johannes Schindelin <johannes.schindelin@xxxxxx> > > > > This patch is a bit involved, mainly because the default branch name is > > not only hard-coded in the script `t4013-diff-various.sh` itself, and > > not only in the support files in `t/t4013/`, but also in the _file > > names_ in `t/t4013/`. > > There are some stuff in flight; let's hold this step before they > graduate to avoid clashing. Fair enough. I described the commands I ran to bring this patch about, and I can just as easily run the same commands once the dust settled a bit. Thanks, Dscho