renommer dist82 en main82

This commit is contained in:
Jephté Clain 2025-10-22 18:04:16 +04:00
commit 381e1c1690

View File

@ -4,7 +4,7 @@ UPSTREAM=dev74
DEVELOP=dev82 DEVELOP=dev82
FEATURE=wip82/ FEATURE=wip82/
RELEASE=rel82- RELEASE=rel82-
MAIN=dist82 MAIN=main82
TAG_PREFIX= TAG_PREFIX=
TAG_SUFFIX=p82 TAG_SUFFIX=p82
HOTFIX=hotf82- HOTFIX=hotf82-
@ -13,14 +13,14 @@ NOAUTO=
AFTER_CREATE_RELEASE=' AFTER_CREATE_RELEASE='
set -x set -x
pman --composer-select-profile dist pcomp-select-profile.php dist
composer u || exit 1 composer u || exit 1
git commit -am "<pman>deps de dist" git commit -am "<pman>deps de dist"
true true
' '
AFTER_MERGE_RELEASE=' AFTER_MERGE_RELEASE='
set -x set -x
pman --composer-select-profile dev pcomp-select-profile.php dev
composer u || exit 1 composer u || exit 1
git commit -am "<pman>deps de dev" git commit -am "<pman>deps de dev"
true true