Re: [Pharo-dev] Moving to GitHub