[git] Git - deleted some files locally, how do I get them from a remote repository