git fetch does not fetch latest files from remote; need to do git pull