Good, let the people using github for fun leave.

Github is not meant to be fun, it's meant to be like a pen.

A good pen can be enjoyable. Beautiful. You can feel attachement to it.

But it is not built to be played with. By that I mean it's not its primary function, even if a creative or bored mind can use it for that.

A good pen fullfills its intended purpose when it disapears from your mind while you use it, yielding to the writting that should be the center of your attention.

I don't think about github when I code. I just use it.