Description
Feature Description
A part of the appeal of editing comments is to edit out something you didn't mean to post and don't want to end up in search engine indexes forever on a public repo. (I get it might still be e-mailed and shown to some people but that's not the same at all like it lingering forever on the internet.) However, that only works when it's possible to delete old revisions of your own edited comments, which I'm hereby proposing. GitHub by the way has been offering this for quite a while already. Or alternatively, do it like GitLab and just don't show older versions or any comment history at all. This in between where all older versions of a comment are kept forever but there seems to be no obvious way to delete them seems like a very unfortunate in-between.
Interestingly, the UI to pick and show an old version in a popup where just a single button for deletion would need to be added, is already there. So UI-wise, this change seems really minor. I hope it can be added.
Sure, it's still possible to delete an entire comment instead to "solve" this, but that seems like quite the nuclear option. It would be better to do it like GitHub, where you can delete an old version of the comment but then it also still shows transparently if you check that the older version existed but that it was deleted. That seems like the best of all worlds.
Screenshots
No response