diff --git a/prel b/prel index 8bda889..baae0c2 100755 --- a/prel +++ b/prel @@ -398,7 +398,7 @@ if [ "$action" == merge ]; then action=delete fi -if [ "$action" == delete ]; then +if [ "$action" == delete -a "$release" != develop ]; then if [ -z "$force_delete" ]; then # vérifier que la branche a été fusionnée git_is_merged "$release" master || die "Refus de supprimer la branche $release: elle n'a pas été fusionnée dans master"