[Pharo-dev] Moving to GitHub