> To put it into perspective, the Linux project has only had about 380 PRs on GitHub.
IIRC Linux does not use GitHub for project management or as a source of truth, only as a mirror.
IIRC Linux does not use GitHub for project management or as a source of truth, only as a mirror.
https://github.com/torvalds/linux/pull/17#issuecomment-56546...
Particularly when half his gripe with GitHub is not hard-wrapping commit messages.