Skip to content

Commit 74d71f7

Browse files
authored
Script fix (#517)
1 parent bde78ff commit 74d71f7

File tree

1 file changed

+13
-1
lines changed

1 file changed

+13
-1
lines changed

scripts/release

Lines changed: 13 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -130,11 +130,23 @@ function run_release() {
130130
check_gh_cli
131131
check_clean_working_directory
132132

133-
# Step 1: Checkout develop branch
133+
# Step 1: Checkout develop branch and sync with main
134134
echo "Step 1: Checking out develop branch..."
135135
git checkout develop
136136
echo "Pulling latest changes from origin..."
137137
git pull origin develop
138+
139+
echo "Pulling latest changes from main..."
140+
git fetch origin main
141+
echo "Merging main into develop to ensure all changes are included..."
142+
if ! git merge origin/main -m "Merge main into develop for release"; then
143+
echo ""
144+
echo "Merge conflict detected. Please resolve conflicts and run the script again."
145+
error "Failed to merge main into develop"
146+
fi
147+
148+
echo "Pushing updated develop to origin..."
149+
git push origin develop
138150
echo ""
139151

140152
# Step 2: Identify latest release

0 commit comments

Comments
 (0)