git cloneとpullについて

Question

Git初心者です。
自分でリポジトリを作り、パソコンAとパソコンBでプロジェクトを共有しようとして詰まりました。

実行手順
・パソコンAの作業内容をGitにpush
・パソコンBでcloneを作る→成功
・試しにローカルの1ファイルを削除、もう1つファイルを編集
・pullで反映されるか→削除されたファイルは復元されず、変更内容も復元されず

実行したコマンドは、
git clone [URL]
（ここでディレクトリを編集）
git pull origin main です。

削除したファイルはcheckoutでリポジトリから持ってくることはできましたが、pullで持って来れないのが腑に落ちません。

根本的な理解を誤ってるかもしれないと思い、質問させていただきました。
pullとはそもそも削除したファイルを復元する機能がないのか、また必要な手順が抜けているのか。

pullする前にcommitしなければいけない…？いやそんなことないはず！

branchは最初のpush時にmainとしたので、間違いないはずです。
初歩的な質問で申し訳ありませんが、なかなか解決できないのでご教授くださいませ。
よろしくお願いします。

Comments

[Zuishin]

pull は fetch 後に merge するコマンドです。
マージした結果、ローカルでの変更の方が新しいので更新されません。
そのような場合は reset を使います。

[momenn]

変更が新しい方を優先するんですね。僕みたいなケースはgitさんも想定外だったのかもしれません…。
どおりで調べても出てきませんね。
早急な回答で大変助かりました。
ありがとうございました。

[Zuishin]

どのようにマージされるのか色々試して確認して自己解決してください。

[momenn]

git logでコミットIDを確認し、git reset [commitID]とすることで変更前の状態に戻すことができました。
その状態でpullすると、足りない分のファイルを引っ張ってきてくれました。感動です。
pullはfetchとmergeの複合体なので、この２コマンドについても理解を深めていこうと思います。
教えてくれるだけでなく、考える機会をくださりありがとうございました。

Answer 1

１．パソコンAでローカルのプロジェクトをpush
２．パソコンBでリポジトリをclone
３．パソコンBでpull実験のため、cloneしたプロジェクトの一部を削除
４．パソコンBでpullをして削除内容が復元されるのか実験

以上のような手順を踏んだ場合、最後に変更されたのはパソコンB内のローカルリポジトリでした。
その場合、ファイルが削除された状態だとしても最新のリポジトリはパソコンBのローカルリポジトリ。
だからいくらpullしようとしても、gitさんは「あなたのリポジトリは最新でっせ。」と仰っていたようです。

対処法は以下です。
・git logにより復元したい対象のコミットIDを見つける
・git reset [取得したコミットID] によりローカルリポジトリの状態を元に戻す
・もとに戻したうえで、git pull origin [branch名(僕の場合はmain)] で幸せになることができる。

もし同じ場所でハマってしまった場合は参考にしていただければ幸いです。

Answer 2

ファイル編集や削除をした場合

> git add .
> git commit -m "メッセージ"
> git push

してGitHubのリポジトリ上のファイル群を更新する必要があります。

その後、別パソコンで

> git pull

をすれば、変更箇所をGitHubから取り込めるはずです。

Comments

[momenn]

今回はパソコンAでgit pushをしたのち、パソコンBでgit clone後にファイル削除の実験を行ったため、パソコンBのローカルリポジトリが最新の状態になってしまっていました。
そのため、いくらpullをしても自分のパソコンが最新なのでgitさんは応えてくれず、、
Zuishinさんにご教授いただき、git reset [commitID]としたあとにpushすることで無事解決できました。
今回は考える機会をくださり、解決まで至ることができたので自己解決として閉じたいと思います。ご回答ありがとうございました。