-
Add user's remote to your local system. Scroll down to the bottom of the conversation view in Github and look for text like: Add more commits by pushing to the add-path-type branch on xlgao-zju/website.
The first bolded item is the branch name and the second bolded item is the repo name. These are each links. Copy the URL for the second link. Go to the command line and add the remote:
git remote add REMOTENAME <URL>
It doesn't really matter what you call the remote.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.