[Pharo-dev] Migrating your projects to GitHub? Do not forget to tag your project!