"Julia Evans via GitGitGadget" <gitgitgadget@xxxxxxxxx> writes: > -When the command line does not specify where to push with the > -`<repository>` argument, `branch.*.remote` configuration for the > -current branch is consulted to determine where to push. If the > -configuration is missing, it defaults to 'origin'. > +To decide which repository to push to, Git uses the `<repository>` > +argument (for example `git push dev`), then if that's not specified the > +upstream configuration for the current branch, and then defaults > +to `origin`. OK. Much less awkward and much clearer. Nice.