Hi Jonathan,

On Mon, 12 Oct 2020, Jonathan Nieder wrote:

Johannes Schindelin wrote:

quoted

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