diff --git a/prel b/prel index d7e2841..446b3a1 100755 --- a/prel +++ b/prel @@ -387,6 +387,17 @@ if [ "$action" == merge ]; then if [ -n "$newver" ]; then estepn "Création du tag $newver" git tag --force "$newver" || die + if git_have_remote "$origin"; then + if [ -z "$UTOOLS_VCS_OFFLINE" ]; then + git push "$origin" tag "$newver" + else + eimportant "Le tag $newver n'a pas été poussé vers l'origine. +Il faudra le faire manuellement avec la commande suivante: + $(qvals git push "$origin" tag "$newver") +ou celle-ci pour pour pousser TOUS les tags: + $(qvals git push "$origin" --tags)" + fi + fi fi if [ "$release" != develop ]; then