That's a useful feature for long-running issues to include updates in the opening post. Or to improve formatting when a bug reporter isn't familiar with markdown.
And that it shows in the edit history should at least discourage abuse.
The vanishing small percentage of people that would actually check a comment’s history are the same people who would check a Wikipedia entries history.
At a bare minimum, the post should have in big bold lettering: Edited by <user_name>.
Allowing the maintainer to prepend a comment to the top seems more sensible to me to be honest. Would make API use harder potentially, but it would avoid weird abuse like this.
Yes, with an edit history I think it's a useful feature. I often use it to add pre formatting to errors or code examples people post, or to edit titles to be more helpful ("weird issue with X" → "clearer description of the bug" after triage). It used to be that it didn't have an edit history. I think it was added about five or six years ago? You could also delete comments with no indication there was ever a comment there.
I once had someone request a feature and they became quite aggressive after I declined it. I essentially told them to fuck off[1] and that was the end of it. A few months after this he strategically edited and deleted some comments to make it appear I was just insulting them for no reason and then started posting on HN and Lobsters what an asshole I was. Back then, there was no real indication of their manipulation.
[1]: In part because he was already a known troll. Well, maybe troll isn't the right word, but he does have a history of mass-reporting hundreds of feature requests across hundreds of repos, to the point where it's basically just spam. He's been banned from Github many times over this, but just keeps creating new accounts and it all starts over again.
I maintain the formatter for Dart, so a lot of my job involves maintaining the issue tracker for the formatter.
I use this feature all the time. Users get Markdown wrong, give titles to issues that don't make any sense, have typos, etc. Being able to edit issues helps me keep the issue tracker easier to understand and navigate for maintainers and users.
Every feature can be used. That doesn't mean every feature should not exist. The fact that the edit history is still visible means it's next to impossible to abuse the feature. It works fine.
Markdown is pretty tricky for new users to figure out, so quite often, users will just paste big snippets of code without formatting them, which is nearly unreadable. I'll usually edit these posts to add ```backticks``` around any code.
This is particularly useful when editing the top-level comment of a popular issue to specify the current status. Or when a peer opened a placeholder issue and you fill it up. Etc.
If you actually use GitHub as a social network of sorts, there are many reasons to do edit comments. All the edits are visible anyway. You're on Git-Hub, you can already edit everything you have write access to.
the8472|3 months ago
vunderba|3 months ago
At a bare minimum, the post should have in big bold lettering: Edited by <user_name>.
dannyfritz07|3 months ago
arp242|3 months ago
I once had someone request a feature and they became quite aggressive after I declined it. I essentially told them to fuck off[1] and that was the end of it. A few months after this he strategically edited and deleted some comments to make it appear I was just insulting them for no reason and then started posting on HN and Lobsters what an asshole I was. Back then, there was no real indication of their manipulation.
[1]: In part because he was already a known troll. Well, maybe troll isn't the right word, but he does have a history of mass-reporting hundreds of feature requests across hundreds of repos, to the point where it's basically just spam. He's been banned from Github many times over this, but just keeps creating new accounts and it all starts over again.
tomalbrc|3 months ago
NeckBeardPrince|3 months ago
munificent|3 months ago
I use this feature all the time. Users get Markdown wrong, give titles to issues that don't make any sense, have typos, etc. Being able to edit issues helps me keep the issue tracker easier to understand and navigate for maintainers and users.
Every feature can be used. That doesn't mean every feature should not exist. The fact that the edit history is still visible means it's next to impossible to abuse the feature. It works fine.
gucci-on-fleek|3 months ago
halapro|3 months ago
If you actually use GitHub as a social network of sorts, there are many reasons to do edit comments. All the edits are visible anyway. You're on Git-Hub, you can already edit everything you have write access to.
projektfu|3 months ago