No contention to the contrary, but as a routine, post-merge git history rewrite, not a grand plan, from what I understand.
Oh the other hand, an 'official' comment on the commit, recognising the issue with the original commit message, the following discussion, and any conclusions that get reached, might be better, in my opinion. I prefer
to recognise and critique, rather than erase,
'historical' history, as a rule (as opposed to git history). I think similar damage is done in this case, when the record, and opportunity to point to and learn from it, is erased.
David
---------------------------------------------------
Date: Thu, 2 Jul 2020 21:33:56 +0300
From: Ivan Pozdeev <vano@mail.mipt.ru>
Subject: [Python-Dev] Re: Recent PEP-8 change (Antoine Pitrou)
To: python-dev@python.org
Message-ID: <e1d9900a-6dae-8bfc-ad0f-a1512cfa87ab@mail.mipt.ru>
Content-Type: text/plain; charset=utf-8; format=flowed