Git - git-push Documentation
When the command line does not specify where to push with the argument, branch.*.remote configuration for the current branch is consulted to determine where to ... When the command line does not specify what to push with ... arguments ......