We will do the switch to the new server tomorrow, Nov 30.

-> for people downloading, there should be no service intererruption

-> For *uploaders* (mostly CI jobs), you need new SSH credentials.

    This means some upload jobs might break, but they will be easy 

    to fix

-> Uploading humans (people that scp to files.pharo.org): Talk to Christoph or me. 

Marcus