pousser le tag quand il a été créé
This commit is contained in:
parent
b3fdf0c004
commit
1fb27d62f7
11
prel
11
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
|
||||
|
|
Loading…
Reference in New Issue