Pull from origin when new commits are pushed to Github.