Hi Junio,

On Tue, 31 May 2022, Junio C Hamano wrote:

Philippe Blain [off-list ref] writes:

quoted

For now we opted to just update to 12.3, see [1].

Indeed we did.  Let's make sure we fast-track the topic down to 'master'
and possibly to 'maint'.  I do not think it is worth letting it sit in
'next' for a week, like we do for usual topics.

I am very much in favor of merging this down into `maint`, as every PR run
of GitGitGadget's PRs fails right now (and some new contributors already
were worried about this).

Thanks,
Dscho