4 ms·Wouldn't the correct (or, at least, less confusing) term then be "merged" if that's the case?by klez 8y agoWouldn't the correct (or, at least, less confusing) term then be "merged" if that's the case?sokoloff 8y ago"pull" is a git command to merge and update https://git-scm.com/docs/git-pull https://git-scm.com/docs/git-pullgnulinux 8y agoPull is also correct. Somehow merge is a little more popular but pull is certainly correct too. Remember the word "Pull Request".