I am taking a software design course, and the prof has decided to host all the lecture materials on Github. I figure I could use GIT locally on my machine to easily get any new lecture materials on my machine. I envisioned being able to clone the prof's Github repo and just git pull
in order to sync the remote files with what I have already on my PC. I won't be pushing anything to the remote repo since it's only for storing lecture slides and sample code.
I have cloned the remote repo, but today when trying to git pull
I got a message saying everything was up to date, despite there being a new set of lecture slides added to the prof's Github. I ended up having to clone the repo again to get the new files. I would hate to have to do this every time, and I really thought that git pull
is for updating and merging changes from a remote repo to a local one.
On the remote Github repo, there is only one branch, Master
, to pull from...I don't know if that's helpful. Also, I'm doing all this on Ubuntu.
Can anyone help me figure out either how to temper my expectations about what Git is for, or else tell me how I'm pull
ing wrong?
EDIT:
I made my own github account, with an empty repo. I added a dummy text file to the github repo, and when I pulled from my PC, I received the text file just fine. I did the exact same thing as I have done for my CS class, so I dunno what gives...
EDIT: As requested, the git version I have is 2.17.1, and the URL of the prof's github page is https://github.com/jin-guo/COMP303_Winter2020.git