Hi Junio, On Tue, 31 May 2022, Junio C Hamano wrote: > Philippe Blain <levraiphilippeblain@xxxxxxxxx> writes: > > > 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
