Skip to content

Ticket core #4845 : prendre en compte une clé "branch" dans plugins-dist.json

marcimat a demandé de fusionner gh-a15b82c1/20/unknown/refs/pull/20/head vers master

Relatif à spip/spip#4830 (closed)

Checkout peut gérer la présence d'une déclaration "branch" dans plugins-dist.json Priorité est faite cependant à la demande d'un tag.

  • spip dl -b v3.2.11 => les plugins dist chargent un tag spip/v3.2.11
  • spip dl -b 4.0 => cherche 'branch' dans plugins-dist.json sinon utilise spip-4.0 (ancien nommage des branches des plugins core, si 4830 est validé.)
  • spip dl => cherche 'branch' dans plugins-dist.json, sinon utilise 'master'

Rapports de requête de fusion