In git lingo, are
git push -u origin master
In git lingo
origin is just the default name for a remote from which a repo was originally cloned. It might equally have been called
remote1 or just
git is a peer-to-peer, distributed system, not one with any built-in notion of client/server, master/slave, parent/child relationships (though these might be imposed upon it by a user in a particular scenario).
All remotes are equal.
origin is simply (and literally) the first among those equals (for a cloned repo). :)
As for your interpretations of the
push statement, your first is the closest to being correct but the push command as written will push the local
master branch to the
master branch on the remote identified by the (locally configured) name
If there is no
master branch in the remote then one will be created.
You rarely (if ever) refer to the 'local' repo explicitly since your operations are performed in the context of a repo.