Re: github and the like (Re: to git or not to git)