diff --git a/prel b/prel index e446a8d..dcb590f 100755 --- a/prel +++ b/prel @@ -373,6 +373,7 @@ elif is_release_branch "$branch"; then release="$branch" fi +final_branch= # branche sur laquelle se placer après avoir fusionné la branche de release if [ "$action" == merge ]; then confirm= @@ -433,6 +434,7 @@ ou celle-ci pour pour pousser TOUS les tags: setx branch=git_get_branch action=delete + final_branch=develop fi if [ "$action" == delete -a "$release" != develop ]; then @@ -501,3 +503,8 @@ elif [ "$action" == diff ]; then fi fi fi + +# en fin de traitement, revenir le cas échéant sur $final_branch +if [ -n "$final_branch" ]; then + git checkout "$final_branch" || die +fi