From 1ddb6f80b886359cfb6b130cfee74944c62d1a22 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Fri, 28 Feb 2025 10:50:59 +0400
Subject: [PATCH] bug

---
 bash/src/pman.sh | 2 +-
 bin/pdev         | 8 +++++++-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/bash/src/pman.sh b/bash/src/pman.sh
index 9356f85..b095039 100644
--- a/bash/src/pman.sh
+++ b/bash/src/pman.sh
@@ -318,7 +318,7 @@ function _mscript_delete_branch() {
     _scripta "delete branch $SrcBranch" <<EOF
 $comment$(qvals git branch -D "$SrcBranch")$or_die
 EOF
-    array_addu push_branches ":$SrcBranch"
+    array_addu delete_branches ":$SrcBranch"
 }
 
 ################################################################################
diff --git a/bin/pdev b/bin/pdev
index 21ca20e..8d1b4d4 100755
--- a/bin/pdev
+++ b/bin/pdev
@@ -32,7 +32,7 @@ Ce script va
     ask_yesno "Voulez-vous continuer?" O || die
 
     local script=".git/rel-merge.sh"
-    local -a push_branches
+    local -a push_branches delete_branches
     local comment=
     local or_die=" || exit 1"
 
@@ -66,6 +66,12 @@ if [ -n "\$push" ]; then
 esection "Pousser les branches"
 EOF
     _script_push_branches
+    if [ ${#delete_branches[*]} -gt 0 ]; then
+        _scripta <<<"if [ -n \"\$delete\" ]; then"
+        push_branches=("${delete_branches[@]}")
+        _script_push_branches
+        _scripta <<<fi
+    fi
     _scripta <<EOF
 fi
 EOF