I do that by going to my master branch in git, and doing git pull, right?  Because that's what I did, and I still don't seem to have those files.