From a85cd2faf4e6318c152b3efe187b240c75cb35de Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Mon, 3 Mar 2025 13:05:39 +0400
Subject: [PATCH] bug

---
 bin/prel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/prel b/bin/prel
index eb4f559..5d2b5bf 100755
--- a/bin/prel
+++ b/bin/prel
@@ -158,7 +158,7 @@ En cas d'erreur de merge, veuillez corriger les erreurs puis continuer avec
 Veuillez aussi consulter le script et/ou le relancer
     ./$script${Push:+ push}"
         die
-    elif [ -n "$Merge" -a -n "$Pushe" ]; then
+    elif [ -n "$Merge" -a -n "$Push" ]; then
         [ -n "$_KeepScript" ] || rm "$script"
     else
         einfo "\