ajout d'un tag après fusion de la branche dans master
This commit is contained in:
parent
2a71a51b70
commit
da96f72811
9
prel
9
prel
|
@ -329,6 +329,11 @@ if [ "$action" == merge ]; then
|
|||
git checkout master
|
||||
git merge "$release" -m "Intégration de la branche $release" --no-ff || die
|
||||
|
||||
if [ -n "$newver" ]; then
|
||||
estep "Création du tag $newver"
|
||||
git tag "$newver" || die
|
||||
fi
|
||||
|
||||
if [ "$release" != develop ]; then
|
||||
estepn "Intégration ${COULEUR_VERTE}$release${COULEUR_NORMALE} --> ${COULEUR_BLEUE}develop${COULEUR_NORMALE}"
|
||||
git checkout develop
|
||||
|
@ -343,9 +348,9 @@ if [ "$action" == merge ]; then
|
|||
if [ -z "$UTOOLS_VCS_OFFLINE" ]; then
|
||||
estepi "Suppression de la branche distante"
|
||||
git push "$origin" ":$release"
|
||||
else
|
||||
elif git_have_rbranch "$release" "$origin"; then
|
||||
eimportant "\
|
||||
La branche $release n'a plus lieu d'être, mais la configuration actuelle interdit de la supprimer dans le dépôt distant.
|
||||
La branche $origin/$release n'a plus lieu d'être, mais la configuration actuelle interdit de la supprimer.
|
||||
Veuillez le faire manuellement avec la commande suivante:
|
||||
$(qvals git push "$origin" ":$release")"
|
||||
fi
|
||||
|
|
Loading…
Reference in New Issue