Mmm yes number go up.
Progress.
Isn’t it easier to delete the release? Unless they have no permission to do it I guess
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.
I forgot the many plugin managers that download stuff directly from github. That makes way more sense.
How do you accidentally force push lol
I assume the accident was not to force push, but to the wrong branch
I hope they learned the value of protecting your branches.
This is why I always
git push origin +branch_nameMy go-to these days is to push the current branch, dynamically.
git push origin HEADDepending on the VC, HEAD has different prefix/suffixes to make it work.
Edit: formatting, also I never checkout master I do origin/master so I cannot even push it with this method. I think
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…
You guys actually release stuff?
But why is it a major number?
How do they get the numbering system? Is it automatic somehow?
