297
submitted 11 months ago by wasabi@feddit.de to c/programmerhumor@lemmy.ml
you are viewing a single comment's thread
view the rest of the comments
[-] Redscare867@lemmy.ml 3 points 11 months ago* (last edited 11 months ago)

This is why I always git push origin +branch_name

[-] forgeddit@sopuli.xyz 1 points 10 months ago* (last edited 10 months ago)

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

this post was submitted on 25 Oct 2023
297 points (97.7% liked)

Programmer Humor

32050 readers
1595 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS