関連ワード:  git pull a deleted file    git recover a deleted file    git retrieve a deleted file    git pull deleted files from remote    git pull restore deleted files    git pull locally deleted file    git pull accidentally deleted file    git pull remove deleted files    git pull ignore deleted files    git pull all deleted files