Git push and pull

As I've explained in earlier posts, the command

git push origin master

is used to push changes to a remote repository.  Similarly, the following command

git pull origin master

pulls changes from the remote repository and merges these changes in with your local branch.