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
It was his grandfather who was arrested for being a technocrat while the party was banned during WW 2, and who moved to South Africa from Canada for a “white people’s fight” against “global jews”. https://www.theatlantic.com/technology/archive/2023/09/joshua-haldeman-elon-musk-grandfather-apartheid-antisemitism/675396/
Not saying his direct parents didn’t hold similar beliefs.