[SPIP Zone] mise à jour sur la zone non reprise sur plugins.spip.net ?

Archives Zone
1

Bonjour à toustes,

Je constate que des modifs faites sur la Zone ne sont pas reprises ni
dans SVP ni sur plugins.spip.net, le plugin reste dans sa version
antérieure.
Le commit en question : https://zone.spip.org/trac/spip-zone/changeset/
107919/_plugins_/adminer

Je sais que ça peut mettre un peu de temps à se propager mais là ça
fait 10 jours…

Est-ce qu'il y a un problème de communication entre la zone et
plugins.spip.net ? Peut-être à cause du numéro de version "exotique",
4.3.1.4 ?

--
bystrano

2

Hop,

Le 18/12/2017 à 17:36, Michel Bystranowski a écrit :

Bonjour à toustes,

Je constate que des modifs faites sur la Zone ne sont pas reprises ni
dans SVP ni sur plugins.spip.net, le plugin reste dans sa version
antérieure.
Le commit en question : Connexion · GitLab
107919/_plugins_/adminer

Je sais que ça peut mettre un peu de temps à se propager mais là ça
fait 10 jours…

Est-ce qu'il y a un problème de communication entre la zone et
plugins.spip.net ? Peut-être à cause du numéro de version "exotique",
4.3.1.4 ?

Oui, le problème a déjà été signalé, l'empaqueteur semble cassé depuis quelques jours. On regarde ça dès qu'on a un moment, désolé pour le dérangement :\

++
b_b

3

Le 18/12/2017 à 17:38, Bruno Bergot a écrit :

Hop,

Oui, le problème a déjà été signalé, l'empaqueteur semble cassé depuis quelques jours. On regarde ça dès qu'on a un moment, désolé pour le dérangement :\

Ah mince, je croyais qu’on l’avait décoincé en partie ce matin ?

MM.

4

Ha super, je ne savais pas, désolé pour le bruit et merci pour le coup de pied dans le svn afin de débloquer la situation :slight_smile:

Pour le plugin adminer, je viens de mettre à jour les dépôts sur plugins.spip et c'est bien à jour :

++
b_b

Le 18/12/2017 à 17:40, Matthieu Marcillaud a écrit :

Ah mince, je croyais qu’on l’avait décoincé en partie ce matin ?

MM.

5

Super, merci !

Le lundi 18 décembre 2017 à 18:18 +0100, Bruno Bergot a écrit :

Ha super, je ne savais pas, désolé pour le bruit et merci pour le
coup
de pied dans le svn afin de débloquer la situation :slight_smile:

Pour le plugin adminer, je viens de mettre à jour les dépôts sur
plugins.spip et c'est bien à jour :

Adminer - Plugins SPIP

++
b_b

Le 18/12/2017 à 17:40, Matthieu Marcillaud a écrit :
>
>
> Ah mince, je croyais qu’on l’avait décoincé en partie ce matin ?
>
> MM.
!DSPAM:5a37f8c6229752218496858!