G github.com Linus Torvalds won't do github pull requests 535 points quellhorst 14 years ago 267 comments