related tidbit: in git, "pull" is basically shorthand for "fetch + merge".