On 2016-10-30 21:12, Lars wrote: > as github is hot with the new kids on the block these days. Yes, for good reason! Though I would correct your statement as "Git is hot...". You don't have to use GitHub or any other public Git repository hosting environment. Regards, Graeme