Status: Accepted
Owner:
[hidden email]
Labels: Type-Bug Target-Jenkins
New issue 7266 by
[hidden email]: Domain names ci.pharo-project.org
http://code.google.com/p/pharo/issues/detail?id=7266ci.pharo-project.org still points to the old jenkins, we should update it
and redirect it to ci.inria.fr/pharo
plus we should add a download domain, so we can easily change the server
behind without modifying all scripts:
download.pharo.org => pharo.gforge.inria.fr
_______________________________________________
Pharo-bugtracker mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-bugtracker