git pull 时会发生什么 HEAD 操作？

Question

当我这样做时

git fetch origin main

我得到：

From github.com:company/app-ios
 * branch                main       -> FETCH_HEAD

但是，当我这样做时

git pull main

我没有得到任何提及

ORIG_HEAD

或

MERGE_HEAD

既然 git pull 进行了合并，那么我是否应该期望

ORIG_HEAD

、

MERGE_HEAD

也会改变？

Answer 1

合并成功。所以

MERGE_HEAD

不再存在了。