Hi Jonathan, On Mon, 12 Oct 2020, Jonathan Nieder wrote: > Johannes Schindelin wrote: > > > Of course, at this stage I understand that my feedback is not very > > welcome, > > Do you mean because you don't feel that your feedback has been > sufficiently acted upon, or is there something else you are alluding to? My feedback has not been acted upon, and my arguments have been dismissed (or there were attempts to dismiss them, I should say, that did not convince me). At least I saw that when gitster repeated some of my concerns in #git-devel, there were attempts to address them. While I feel bad about leaving the burden on gitster's shoulders, at least I am glad that those concerns are being addressed. Ciao, Dscho