spip-contrib-extensions/debardeur
Par Cerdic, le 6 janvier 2022 à 14h47min :
tmp/updated etait deja utilise pour noter les repos qui ont un nouveau tag, donc on revoit notre copie :
- tmp/updated-tags pour noter les repos qui ont un nouveau tag (a zipper pour le debardeur)
- tmp/updated-files pour noter les repos qui ont eu des commits avec des fichiers modifies donc (pour salvatore, a recharger)
Et on gere ça au meme niveau, dans le hook du debardeur
Modifié
action/api_debardeur_hook.php
inc/debardeur.php
spip-cli/DebardeurPushnotif.php