I am trying to reproduce a problem that resulted from my attempted answer to this question.
In short
A github user tried to do git pul
git pul
git pull will delete ever tracked file on another path.
git pull
refer to Why git rm --cached not remove local ever tracked file but others