Hacker News new | ask | show | jobs
by angelsl 2780 days ago
FWIW, C-SKY architectural support was recently pulled: http://lkml.iu.edu/hypermail/linux/kernel/1810.3/03389.html
1 comments
mirashii 2780 days ago
Pulled in this context means pulled into the tree, not removed as the common parlance might indicate, for those who were a bit confused like myself.
link
klez 2780 days ago
Wouldn't the correct (or, at least, less confusing) term then be "merged" if that's the case?
link
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
angelsl 2780 days ago
My bad, should've said merged.

I wrote the comment immediately after reading Linus's email.

link