this post was submitted on 25 Oct 2023
297 points (97.7% liked)

Programmer Humor

32426 readers
719 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 19 points 1 year ago* (last edited 1 year ago) (2 children)

Isn't it easier to delete the release? Unless they have no permission to do it I guess

[–] [email protected] 16 points 1 year ago (1 children)

It's a bit trickier since that is a neovim plugin so a bunch of people will automatically have updated to this tag using their plugin manager. Removing it will probably just make it worse.

[–] [email protected] 9 points 1 year ago

I forgot the many plugin managers that download stuff directly from github. That makes way more sense.