No, I never thought that. I was extrapolating what might happen when an (almost) monopolist like GitHub would start to mine, analyze, and sell data like Facebook.
I've always assumed that GitHub do that already, what makes you think they don't mine [meta-]data from users - is it in their articles of association or user agreement?
