Push to GitHub with GitHub Desktop

After you merge your Pull Request, you will need to update your local copy of the repository.

gif of following the directions below

  1. Navigate back to GitHub Desktop.
  2. Select the master branch at the top of the app.
  3. Click the button that displays Fetch Origin to get an updated status for the remote repository.
  4. 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.

You should Fetch Origin regularly, and then pull or push as necessary to ensure you are always working with the most recent copies of the files in the repository.

Stuck? Open an issue in the repository for this class and mention @githubteacher for help from one of the GitHub trainers!
Continue