Как быть в git если не делается pull на сервере?

А все очень просто

git reset --hard HEAD
git pull

Рекомендации чтобы этого не было: проверьте внимательно .gitignore