c/programmerhumor · by wasabi@feddit.de · 2yWe've all been there 281 points · 16 comments · view on lemmy.world
16 Comments
aeharding@lemmy.world · 45 pts · 2y
yep, lol
Gork@lemm.ee · 15 pts · 2y
Mmm yes number go up.
Progress.
shotgun_crab@lemmy.world · 17 pts · 2y
Isn't it easier to delete the release? Unless they have no permission to do it I guess
wasabi@feddit.de · 14 pts · 2y
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.
shotgun_crab@lemmy.world · 7 pts · 2y
I forgot the many plugin managers that download stuff directly from github. That makes way more sense.
NotSteve_@lemmy.ca · 12 pts · 2y
How do you accidentally force push lol
wasabi@feddit.de · 18 pts · 2y
I assume the accident was not to force push, but to the wrong branch
magic_lobster_party@kbin.social · 12 pts · 2y
I hope they learned the value of protecting your branches.
Redscare867@lemmy.ml · 2 pts · 2y
This is why I always
git push origin +branch_nameforgeddit@sopuli.xyz · 1 pts · 2y
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
DacoTaco@lemmy.world · 7 pts · 2y
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...
sebsch@discuss.tchncs.de · 1 pts · 2y
Git rebase makes it possible getting used to do so
ILikeBoobies@lemmy.ca · 10 pts · 2y
You guys actually release stuff?
Bene7rddso@feddit.de · 6 pts · 2y
But why is it a major number?
promitheas@iusearchlinux.fyi · 2 pts · 2y
How do they get the numbering system? Is it automatic somehow?
herr@lemmy.world · 2 pts · 2y
Pretty sure they just type it in manually. See named tags in git.