[git] Updating a local repository with changes from a GitHub repository