Hi, On Thu, Dec 16, 2021 at 12:00 AM Enzo Matsumiya <ematsumiya@xxxxxxx> wrote: > > Any feedback on this proposal? Should I focus on polishing + splitting > into meaningful commits? I haven't gotten a chance to look at it yet, but in general I have no objections to the "git-way" implementation.