Git pull
Having pushed your commits to the server, other developers may want to pull them to their own directory, to keep in sync.
Pulling down using GitHub Desktop
Having put the project up on the server, we can simply pull it down into the other locations. For example, open GitHub Desktop. It will tell you that there have been changes in the repository and helpfully offer a button for you to update your local repo.
If you open a file explorer and navigate to the GitHubDesktop directory, you'll see that there is now a replica of the files you pushed from the command line.
Pulling down to Visual Studio
Click on the Git menu and choose Pull. Visual Studio is updated with the code from the server. Now all three repositories are up to date. This is the heart of Git:
- Save your files to a local repository
- Push your files to the remote repository
- Pull down any files that are on the remote repository but not on your local repository
