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