After you merge your Pull Request, you will need to update your local copy of the repository.
- Navigate back to GitHub Desktop.
- Select the
masterbranch at the top of the app.
- Click the button that displays Fetch Origin to get an updated status for the remote repository.
- Then click Pull Origin to retrieve the changes to your local repository.
Tell me why
Keeping your local repository in sync
As we discussed previously, GitHub Desktop doesn’t require an internet connection which means it doesn’t communicate with remote repositories unless explicitly instructed to do so.
When you merge your Pull Request on GitHub.com, the changes you made locally are merged into the
master branch on the remote repository on GitHub.
However, you won’t automatically see those changes reflected in your local copy until you get an update from origin.
Fetch Origin regularly, and then
push as necessary to ensure you are always working with the most recent copies of the files in the repository.