Adam Johnson <me@xxxxxxxx> writes: > Hi, is there anything I can do to help with review? One good thing you can do is to ping like you did ;-) I have been down/sick and will be a bit busy with release work but after that I may find time to review it myself, as it sounds like an easy change. But I'll comment on something I immediately spotted. > > On Fri, May 5, 2023 at 11:32 AM Adam Johnson via GitGitGadget > <gitgitgadget@xxxxxxxxx> wrote: >> >> From: Adam Johnson <me@xxxxxxxx> >> >> This note was added with the command in 46e91b663b (checkout: split part of "command" -> "commit", I think.