Git have more potential, even word `origin` is now kinda "git word" standard, even we can use naming in better way. Simple example:

git push github dev OR git push aur master

with a single repo i pushed to two servers with different branches.

also repo on github should have by default

`git push github main` OR `git push gh main`

git push <origin> main