This is probably a basic question, but let’s say I just cloned a GitHub repo to my computer. and then someone else working on the project changes something on the Github rep