Updating a local repository with changes from a GitHub repository September 8, 2022 by Tarik Probably: was: git pull origin master now: git pull origin main