git pull
means:
- Run
git fetch
, passing (most of) any additional arguments on to git fetch
- Run
git merge
(default—you can change this), merging the commit(s) brought in via step 1
So this meant:
git fetch origin postacl
which had your Git call up the Git that you call origin
and obtain from them their latest commits on their postacl
branch. Then, your Git ran:
git merge --edit -m <message> <commit-hash-ID>
where the <message>
part is the string:
Merge branch 'postacl' of <url> [into <branch>]
(using the <url>
stored with your name origin
), and the <commit-hash-ID>
is whatever commit hash ID their Git told your Git that their postacl
branch names. (The into <branch>
part appears if and only if you are on some branch other than master
.)
This is almost the same as if you ran:
git fetch origin && git merge origin/postacl
except that the default merge message in this case would be slightly different.
Note that if you did all this while logged in to some other machine ("the remote repo", as you put it), "your" Git is the one on that remote machine, and "their" Git is the one that the remote machine's Git has set as its origin
.