V1.1.0

2026-09-09 02:06:42 +02:00
parent f24c58fc46
commit e0fa5743ea
2 changed files with 6 additions and 6 deletions
@@ -536,7 +536,7 @@ git -C "$racine_paquet" push
 echo
 echo "=== Code : tag v$version et push ==="
 git -C "$source_dir" tag "v$version"
-git -C "$source_dir" push origin "$branche" --tags
+git -C "$source_dir" push origin "$branche" "refs/tags/v$version"

 # Un push qui échoue à demi ne se voit pas dans la sortie de git : on redemande au distant.
 verifier_pousse() {  # verifier_pousse <dépôt> <ref>