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

Programmer Humor

32396 readers
692 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] 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