GIT — when you are not able to pull files to your local system
Jun 6, 2022
--
Due to some error, the latest files were not being pulled in the git local folder. Steps that helped:
git reset --hard head
git clean -xffd
(this detaches the head)git checkout master
pull pull
Thats it! The head is attached again!