At the risk of prolonging a pointless line of discussion: what does github have to do with anything in this context?