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 masterwith 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