Hacker News new | ask | show | jobs
by klez 2780 days ago
Wouldn't the correct (or, at least, less confusing) term then be "merged" if that's the case?
2 comments
sokoloff 2780 days ago
"pull" is a git command to merge and update

https://git-scm.com/docs/git-pull

link
gnulinux 2780 days ago
Pull is also correct. Somehow merge is a little more popular but pull is certainly correct too. Remember the word "Pull Request".
link