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

Programmer Humor

32396 readers
977 users here now

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

Rules:

founded 5 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[โ€“] [email protected] 3 points 1 year ago* (last edited 1 year ago) (1 children)

This is why I always git push origin +branch_name

[โ€“] [email protected] 1 points 1 year ago* (last edited 1 year 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