I think it is more like a bank making a diagram of the lock used on each customer's safety deposit box and posting that up on the internet.
I don't see any good reason to put everyone's public key out in the open. Is there any possible way that hiding the keys would hurt github's profits?