Updating a local repository with changes from a GitHub repository October 19, 2021 by admin Probably: was: git pull origin master now: git pull origin main