> On GitHub create a new empty repository, and locally add the remote origin and push: I'm not sure this is enough info for all users. It would be good to have instructions about what to call the repo, how to make the repo "empty" etc.