Re: [SPIP Zone] Coupure de service de core.spip.net / zone.spip.net / git.spip.net : Fin novembre 2019
RealET <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel,gmane.comp.web.spip.zone |
|---|---|
| Message-ID | <[email protected]> |
Bruno Bergot a écrit le 02/12/2019 à 09:52 : > Hop, > > Le 02/12/2019 à 09:30, Cerdic a écrit : >> Hello, >> >> Camille a signalé vendredi soir tard qu’il y avait un soucis de DNS et >> qu’il fallait corriger la déclaration de zone.spip.org, mais comme on >> est décentralisés et répartis, *personne* n’a bougé :p >> > > +1, il semblerait que certaines personnes membres "du core" soient > passées à côté d'un mail qui leur était adressé avant de râler :) Si je comprends bien, zone.spip.org devrait avoir une nouvelle adresse IP, différente de celle de zone.spip.net ? En attendant la mise à jour DNS, est que tu pourrais nous donner l'IP pour mettre à jour notre fichier hosts local ? Merci tout plein -- RealET _______________________________________________ liste: https://listes.rezo.net/mailman/listinfo/spip-dev doc: http://www.spip.net/ dev: http://trac.rezo.net/trac/spip/ irc://irc.freenode.net/spip