If you need to reset local git repository, it cannot be done with “git pull”, the following git command should be used:
git fetch --all
git reset --hard origin/master
Pay attention to the fact that all your local changes will be disregarded. Change “master” to the branch you need, if it is required.