関連ワード:  git pull ignore deleted files    git pull does not remove deleted files    git pull not deleting files    git remove ignored files from history    git remove ignored files  
結果 : git pull ignore deleted files