Git is a little picky, you have to say where you want to pull code from and which branch, I've just worked out that from my local Git directory I need to issue:
git pull origin master
from the command line. This gets the new file (unless it hasn't changed) and merges it with your local version. If you don't want to merge at that point, you'd use "git fetch" instead.
Thanks for this. Unfortunately I haven't worked out how the command line interrelates with the github and my local computer yet. Hopefully I will be able to work this out when I have a little time.
Git is a little picky, you have to say where you want to pull code from and which branch, I've just worked out that from my local Git directory I need to issue:
git pull origin master
from the command line. This gets the new file (unless it hasn't changed) and merges it with your local version. If you don't want to merge at that point, you'd use "git fetch" instead.