https://vuyisile.com/git-how-to-set-a-default-push-remote-repo/
Git: How to set a default push remote repo