possibilité de ne pas supprimer une feature branch après son intégration

pdev

@@ -48,9 +48,14 @@ OPTIONS
         activée si la variable UTOOLS_VCS_OFFLINE est définie.
     --online
         Annuler l'effet de la variable UTOOLS_VCS_OFFLINE: forcer le mode online
+
     -m, --merge
         Si la branche actuelle est une feature branch, la merger dans develop
         puis la supprimer. Puis basculer sur la branche develop.
+    -k, --keep
+        Avec l'option -m, ne pas supprimer une feature branch après l'avoir
+        fusionnée dans develop.
+
     -l, --log
     -d, --diff
         Afficher les modifications entre deux branches. L'option --log affiche
@@ -65,6 +70,7 @@ OPTIONS
 projdir=
 origin=origin
 action=branch
+merge_delete=1
 log=
 diff=
 parse_opts "${PRETTYOPTS[@]}" \
@@ -74,6 +80,7 @@ parse_opts "${PRETTYOPTS[@]}" \
     -o,--offline UTOOLS_VCS_OFFLINE=1 \
     --online UTOOLS_VCS_OFFLINE= \
     -m,--merge action=merge \
+    -k,--keep merge_delete= \
     -l,--log '$action=diff; log=1' \
     -d,--diff '$action=diff; diff=1' \
     @ args -- "$@" && set -- "${args[@]}" || die "$args"
@@ -170,18 +177,20 @@ dans la branche de destination ${COULEUR_BLEUE}develop${COULEUR_NORMALE}"
     git checkout develop
     git merge "$feature" -m "Intégration de la feature branch $feature" --no-ff || die
 
-    estepi "Suppression de la branche locale"
-    git branch -d "$feature"
+    if [ -n "$merge_delete" ]; then
+        estepi "Suppression de la branche locale"
+        git branch -D "$feature"
 
-    if git_have_remote "$origin"; then
-        if [ -z "$UTOOLS_VCS_OFFLINE" ]; then
-            estepi "Suppression de la branche distante"
-            git push "$origin" ":$feature"
-        else
-            eimportant "\
+        if git_have_remote "$origin"; then
+            if [ -z "$UTOOLS_VCS_OFFLINE" ]; then
+                estepi "Suppression de la branche distante"
+                git push "$origin" ":$feature"
+            else
+                eimportant "\
 La branche $feature n'a plus lieu d'être, mais la configuration actuelle interdit de la supprimer dans le dépôt distant.
 Veuillez le faire manuellement avec la commande suivante:
     $(quoted_args git push "$origin" ":$feature")"
+            fi
         fi
     fi