[spip-dev] GIT cassé ou pas

2020-05-09 Par sujet teamspipfact...@gmail.com
si je lance ça bloque a pétitions signalé sur IRC et ici pour mémoire Fetching origin git pull --rebase Current branch spip-3.2 is up to date. .checkout.php git -b3.2 https://git.spip.net/SPIP/aide.git spip/plugins-dist/aide Fetching origin git pull --rebase Current branch 3.2 is up to

Re: [spip-dev] git.spip.net et reboot hardu

2020-05-09 Par sujet BoOz
Erreur 500 sur https://git.spip.net/spip-contrib-extensions/prix aussi Le ven. 8 mai 2020 à 20:00, tcharlss a écrit : > Yo azerttyu, > > Juste pour confirmer le souci sur le dépôt d'albums dont je te parlais > l'autre jour. > La page sur gitea est en erreur 500, et en git pushant j'obtiens

Re: [spip-dev] Accès restreint : protection des documents HS

2020-05-09 Par sujet nicod_
Le 08/05/2020 à 19:51, nicod_ a écrit : Je pense comprendre le principe, mais simplement, est ce que cette clause zzzd.objet NOT IN ('rubrique','article','breve','forum') pourrait être optionnelle par exemple ? Bon, j'ai fait une PR dans ce sens :