45 points
16 points
19 points
*
Isnβt it easier to delete the release? Unless they have no permission to do it I guess
16 points
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.
9 points
15 points
How do you accidentally force push lol
22 points
15 points
3 points
*
1 point
*
My go-to these days is to push the current branch, dynamically.
git push origin HEAD
Depending 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
8 points
1 point
11 points
You guys actually release stuff?
7 points
But why is it a major number?
