Post #1610458

@pollita makes me question why github needs to exist in this chain at all, if everything is going to be done by group/email collaboration again why not just eliminate github from the picture.