When I do git fetch origin main I get:
From github.com:company/app-ios
* branch main -> FETCH_HEAD
However when I do git pull main I don't get any mention of ORIG_HEAD or MERGE_HEAD
Since git pull does a merge, then should I expect ORIG_HEAD, MERGE_HEAD to change as well?
The merge succeeded. So MERGE_HEAD no longer exists. It exists only during a merge.
And merge is not dangerous so ORIG_HEAD was unused. It is set only as part of something dangerous like a hard reset, where the old head would otherwise have no reference.