Re: [spip-commit] r24374 - branches spip spip/prive/javascript

Salut

Le mer. 21 août 2019 à 10:02, Bruno Bergot <[email protected]> a écrit :
>
> Hop,
>
> Le 21/08/2019 à 09:39, [email protected] a écrit :
> > Author: cam.lafit
> > Date: 2019-08-21 09:31:04 +0200 (mer, 21 aoû 2019)
> > New Revision: 24374
> >
> > Log:
> > Merge remote-tracking branch 'github/pr-40'
> >
> > * https://github.com/spip/SPIP/pull/40
> >
> > Removed:
> >     branches/pr-40/
> > Modified:
> >     spip/
> >     spip/prive/javascript/jquery.autosave.js
> >
> > Details: http://core.spip.org/projects/spip/repository/revisions/24374
> >
>
> Merci pour le merge, mais tu es passé à côté de mon commentaire ici :
>
> https://core.spip.net/issues/4371#note-1
>
> Cela met en évidence le problème posé par la possibilité d'ouvrir des
> tickets à plusieurs endroits...

En effet :/ j'ai vu la notification github et j'ai voulu aller trop
vite pour tester/valider le merge depuis gitea.

Github ne permet pas d'interdire les PR :/ L'option n'existe pas. Mais
on peut interdire les issues (comme c'est le cas)
Tout ce qui pouvait être interdit sur github l'a été.

Si on a une PR github ou gitea on devrait avoir le réflexe :
* d'ouvrir le ticket sur core.spip.net
* d'indiquer dans la PR le ticket associé.

Remarque : Je parle uniquement de l'état existant et non d'une
évolution concernant la gestion des tickets. C'est un autre sujet,
d'autant plus que cela ne réglerait pas le pb de fond.

Là où j'ai merdé c'est d'avoir été trop rapide et ne pas avoir regardé
core.spip.net


> PS : j'ai du modifier ce mail pour te répondre car ton adresse
> d'expéditeur était [email protected] et non la tienne, ce qui
> n'est pas très pratique.

Oui le problème a été remonté. Je dois supprimer ce MX du réseau.

Km