diff --git a/prel b/prel index 466b8bc..49a8ee6 100755 --- a/prel +++ b/prel @@ -329,6 +329,11 @@ if [ "$action" == merge ]; then git checkout master git merge "$release" -m "Intégration de la branche $release" --no-ff || die + if [ -n "$newver" ]; then + estep "Création du tag $newver" + git tag "$newver" || die + fi + if [ "$release" != develop ]; then estepn "Intégration ${COULEUR_VERTE}$release${COULEUR_NORMALE} --> ${COULEUR_BLEUE}develop${COULEUR_NORMALE}" git checkout develop @@ -343,9 +348,9 @@ if [ "$action" == merge ]; then if [ -z "$UTOOLS_VCS_OFFLINE" ]; then estepi "Suppression de la branche distante" git push "$origin" ":$release" - else + elif git_have_rbranch "$release" "$origin"; then eimportant "\ -La branche $release n'a plus lieu d'être, mais la configuration actuelle interdit de la supprimer dans le dépôt distant. +La branche $origin/$release n'a plus lieu d'être, mais la configuration actuelle interdit de la supprimer. Veuillez le faire manuellement avec la commande suivante: $(qvals git push "$origin" ":$release")" fi