Bonjour,
Hier, j’ai commité une modif sur le plugin SocialTags avec un tag v3.0.2 : le Zip a bien été mis à jour et la v3.0.2 est bien celle qui est proposée au téléchargement.
Par contre, Gitea affiche toujours le code source de la v3.0.1 : https://git.spip.net/spip-contrib-extensions/socialtags
Il devrait bien afficher https://git.spip.net/spip-contrib-extensions/socialtags/src/tag/v3.0.2 ?