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

Question

I\'ve deleted some files on my PC, how do I download them again?

Pull says: \"Already up-to-date\".

Answer 1

Also, I add to do the following steps so that the git repo would be correctly linked with the IDE:

 $ git reset 

 $ git checkout 

I hope this was helpful!!