[spip-dev] [spip-commit] r24374 - branches spip spip/prive/javascript

Hop,

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 :

Cela met en évidence le problème posé par la possibilité d'ouvrir des tickets à plusieurs endroits...

PS : j'ai du modifier ce mail pour te répondre car ton adresse d'expéditeur était cam.lafit@ns2.freenix.org et non la tienne, ce qui n'est pas très pratique.

Salut

Hop,

> 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 :

Points-virgules mal placés - spip/prive/javascript/jquery.autosave.js (#4371) · Tickets · spip / spip · GitLab

Cela met en évidence le problème posé par la possibilité d'ouvrir des
tickets à plusieurs endroits...

En effet :confused: 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 :confused: 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 cam.lafit@ns2.freenix.org 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

Hop,

Cela met en évidence le problème posé par la possibilité d'ouvrir des
tickets à plusieurs endroits...

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

Pas de problème, je souhaitais juste rappeler que c'est une mauvaise idée de permettre aux gens d'ouvrir des tickets à deux endroits :stuck_out_tongue:

Github ne permet pas d'interdire les PR :confused: 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é.

Je vois ça oui :\

Un piste intéressante ici :

I’ve written a very simple API-driven prototype tool called GhostRed to do some simple integration. GhostRed scans GitHub pull requests, creates Redmine tickets in an appropriate project for them and then closes the request with a comment that includes a link to the ticket created.

https://www.kartar.net/2011/05/github-and-redmine-integration/

Qui permettrait donc de synchroniser automagiquement les PRs ouvertes sur github avec un ticket associé sur notre redmine. À tester ?