From da96f728118de077098215a6348eda87be64560a Mon Sep 17 00:00:00 2001
From: Jephte CLAIN <Jephte.Clain@univ-reunion.fr>
Date: Tue, 31 Mar 2015 16:06:05 +0400
Subject: [PATCH] =?UTF-8?q?ajout=20d'un=20tag=20apr=C3=A8s=20fusion=20de?=
 =?UTF-8?q?=20la=20branche=20dans=20master?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 prel | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

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