Github is an excellent hosting service; I have nothing against it at all.

One of the reasons that I really don't mind that people are selling Linux commercially is exactly because it does make me feel good that people use the product.

The big thing about distributed source control is that it makes one of the main issues with SCM's go away - the politics around "who can make changes." BitKeeper showed that you can avoid that by just giving everybody their own source repository.

Making Linux GPL'd was definitely the best thing I ever did.

I've tried it a couple of times over the years, mainly because the thing Ubuntu did so well was make Debian usable. I always felt that Debian was a pointless exercise because to me, the point of a distribution is to make everything easy. Easy to install, to be pretty and to be friendly and Ubuntu did that to Debian.

On a purely technical side, I'm really very happy with how Linux gets used in a very wide set of different areas. It's important for development.

I was never a "big thinker". One of my philosophies in Linux has always been to not worry about the future too much, but make sure that we make the best of what we have now - together with keeping our options open for the future and not digging us into a hole.