3 ms·

FWIW, C-SKY architectural support was recently pulled: http://lkml.iu.edu/hypermail/linux/kernel/1810.3/03389.html http://lkml.iu.edu/hypermail/linux/kernel/181

FWIW, C-SKY architectural support was recently pulled: http://lkml.iu.edu/hypermail/linux/kernel/1810.3/03389.html http://lkml.iu.edu/hypermail/linux/kernel/1810.3/03389.html

mirashii 8y 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.
- klez 8y ago
  Wouldn'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-pull
  - gnulinux 8y ago
    Pull is also correct. Somehow merge is a little more popular but pull is certainly correct too. Remember the word "Pull Request".
- angelsl 8y ago
  My bad, should've said merged. I wrote the comment immediately after reading Linus's email.