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 takes months (I think almost a year) for the toenails to fully regrow, and if its still in your feet you will reinfect your toenails while using toenail specific meds.
What worked, for someone I know, was the oral meds, using a separate towel for feet and not using it for nails, and after about a month when your feet are mostly healed you have to throw away and buy ALL of your shoes new.
They also replaced all of their socks, but you might be able to wash them in 90°C. (Issue is, most water heaters can't keep the temperature up for long enough so it's probably not worth the risk)
Just because it's not popular in your social bubble in Europe doesn't mean it's not important. I'm European, and I found it very useful during e.g. COVID or the start of the European invasion. (Ukraine*)
Of course there were problems with fake accounts back then, but it was still the best platform for curated expert feeds if you followed the right people.
It's not the same anymore, many of the experts have left and especially the feeds don't have the replies of other verified e.g. scientists. Similar to Reddit, but probably even worse/more noticeable.