How to push local branch to remote branch with different name in git - YouTube
James Ide on Twitter: "With the newest version of Git 2.37.0, you can run just "git push" to push new branches. No more "--set-upstream origin". Enable with: git config --global --add --bool
How do I push a new local branch to a remote Git repository and track it too? - Stack Overflow