I am working on a project with a few friends, and we are uploading everything to git. At first everything worked good, but at my local repository i deleted some files, online these files are still existing, so I tried
git pull
only, because i deleted that folders, they aren't coming back. Git says 'everything is up to date', but it isn't. Another stackoverflow-questioner had the same problem, and in a comment someone said he should use
git checkout HEAD
aand yes, there are the files i was looking for, but (I guess) that's just checking out, and they are not in my file system. How can i solve this problem?
In general: I guess there must be a command that updates everything?
Thanks!