[解決済み] Git - ローカルでファイルを削除してしまいましたが、リモートリポジトリからファイルを取得するにはどうすればよいですか？

質問

PC 上のファイルを削除してしまったのですが、再度ダウンロードするにはどうしたらよいでしょうか。

プルには、"Already up-to-date" と表示されます。

どのように解決するのですか？

gitは分散型VCSなので、ローカルリポジトリにすべての情報が含まれています。ダウンロードは不要で、手元のレポから必要なコンテンツを抽出するだけです。

削除をコミットしていない場合は、現在のコミットからファイルをチェックアウトするだけです。

git checkout HEAD <path>

削除をコミットした場合、そのファイルを持つコミットからファイルをチェックアウトする必要があります。おそらく、それは前のコミットでしょう。

git checkout HEAD^ <path>

が、もし n コミット前であれば HEAD~n を使うか、あるいは単に gitk を起動し、適切なコミットの SHA1 を見つけて貼り付けます。