Closed demarey closed 1 week ago
@demarey / @MarcusDenker
According to the PR there is now a (maybe new) pharo file server @ inria - https://pharo-files.inria.fr (193.49.213.186)
Historically there is https://files.pharo.org currently pointing to 164.132.235.17 which seems to be a different server.
Does it make sense to let https://files.pharo.org also point to this (new) pharo file server @ inria (193.49.213.186) so we have a single/central one?
@astares This is the goal :)
This is the move Christophe is talking about
Do not integrate before the move to Inria file server is effective