[Pharo-project] ci.pharo-project.org redirect should be changed?