45ReplyMmm yes number go up.
Progress.
16Reply
Isn't it easier to delete the release? Unless they have no permission to do it I guess
19ReplyIt'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.
16ReplyI forgot the many plugin managers that download stuff directly from github. That makes way more sense.
9Reply
How do you accidentally force push lol
15ReplyI assume the accident was not to force push, but to the wrong branch
22ReplyI hope they learned the value of protecting your branches.
15ReplyThis is why I always
git push origin +\
3Reply
I was wondering the same. Any branch that has any logic besides a ci build attached to it should have been force push protected by default...
8ReplyGit rebase makes it possible getting used to do so
1Reply
You guys actually release stuff?
11ReplyBut why is it a major number?
7ReplyHow do they get the numbering system? Is it automatic somehow?
2ReplyPretty sure they just type it in manually. See named tags in git.
2Reply