Nice - I had been using the Scott Hanselman approach (which is the same that you have) which has the advantage (as far as I can see) that it sets the remote for you automatically - so I think you lose the requirement for the bash alias.
his article is here : hanselman.com/blog/EasilyRenameYou...
but I think the 'magic' is here :
git push -u origin main
which sets the upstream.
I hadn't thought about Pull Requests -
Are you sure you want to hide this comment? It will become hidden in your post, but will still be visible via the comment's permalink.
Hide child comments as well
Confirm
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
Nice - I had been using the Scott Hanselman approach (which is the same that you have) which has the advantage (as far as I can see) that it sets the remote for you automatically - so I think you lose the requirement for the bash alias.
his article is here : hanselman.com/blog/EasilyRenameYou...
but I think the 'magic' is here :
git push -u origin mainwhich sets the upstream.
I hadn't thought about Pull Requests -