How to get deleted files back with git pull?

This shows all the deleted files.

git ls-files --deleted 

This will restore the deleted file.

git checkout <deleted file name with complete path>

The files are in your local git history so you won't need to pull code to get them back. Run

git checkout <file>

on the missing files. If you don't have any uncommited changes then

git checkout .

in the git root directory will work as well.

You can reset local branch to what's at remote

git reset --hard origin/main