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]> |
RealET a écrit le 02/12/2019 à 10:05 : > 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 > Au passage, j'ai relu https://zone.spip.net/trac/spip-zone/wiki/CommentUtiliserSvn à la recherche des informations d'IP pour les firewall. Pas trouvé :( Et la dernière section sur le miroir semble ne plus être d'actualité : DNS non résolu pour miroirspip.ventre.name -- 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