diff --git a/pdev b/pdev index d0aed5a..28f7239 100755 --- a/pdev +++ b/pdev @@ -76,6 +76,7 @@ if [ "$action" == branch ]; then feature=develop else array_ins branches develop + array_contains branches "$branch" || branch=develop simple_menu feature branches -d "$branch" \ -t "Basculer vers une feature branch" \ -m "Veuillez choisir la branche vers laquelle basculer"