spip-contrib-outils/mirror | 2 commits
Par Matthieu Marcillaud, le 26 août 2024 à 15h01min :
fix: intégrer aussi le groupe spip-league
Modifié
mirror.php
==============================
Par Matthieu Marcillaud, le 26 août 2024 à 15h00min :
fix: bien récupérer un projet qui a une branch ‹ main › et non ‹ master ›
Modifié
mirror.php