from HTYP, the free directory anyone can edit if they can prove to me that they're not a spambot
Action: incorporates changes from a remote repository into the current branch
In its default mode, git pull is shorthand for git fetch followed by git merge FETCH_HEAD.
Links
Documentation