Intégration de la branche ptools

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