@@ -148,10 +148,10 @@ jobs:
148
148
PR_NUMBER=$(echo $PR_NUMBER | xargs) # Trim whitespace
149
149
150
150
# Check if PR is already merged upstream
151
- if git log upstream/master --grep="Merge pull request # $PR_NUMBER" --oneline | grep -q "# $PR_NUMBER"; then
152
- echo "✓ PR # $PR_NUMBER is already merged upstream" >> pr_status.txt
151
+ if git log upstream/master --grep="Merge pull request $PR_NUMBER" --oneline | grep -q "$PR_NUMBER"; then
152
+ echo "✓ PR $PR_NUMBER is already merged upstream" >> pr_status.txt
153
153
else
154
- echo "○ PR # $PR_NUMBER needs to be merged" >> pr_status.txt
154
+ echo "○ PR $PR_NUMBER needs to be merged" >> pr_status.txt
155
155
echo "$PR_NUMBER" >> prs_to_merge.txt
156
156
fi
157
157
done
@@ -171,30 +171,30 @@ jobs:
171
171
echo "" >> merge_results.txt
172
172
173
173
while IFS= read -r PR_NUMBER; do
174
- echo "Processing PR # $PR_NUMBER"
174
+ echo "Processing PR $PR_NUMBER"
175
175
176
176
# Fetch the PR branch
177
177
if git fetch upstream pull/$PR_NUMBER/head:pr-$PR_NUMBER; then
178
- echo "Fetched PR # $PR_NUMBER successfully"
178
+ echo "Fetched PR $PR_NUMBER successfully"
179
179
180
180
# Check if this PR can be merged
181
181
MERGE_BASE=$(git merge-base HEAD pr-$PR_NUMBER)
182
182
if git merge-tree $MERGE_BASE HEAD pr-$PR_NUMBER | grep -q '^<<<<<<<'; then
183
- echo "⚠️ PR # $PR_NUMBER would cause conflicts - skipping" >> merge_results.txt
183
+ echo "⚠️ PR $PR_NUMBER would cause conflicts - skipping" >> merge_results.txt
184
184
else
185
185
# Try to merge the PR
186
- if git merge pr-$PR_NUMBER --no-ff -m "Merge PR # $PR_NUMBER"; then
187
- echo "✅ Merged PR # $PR_NUMBER successfully" >> merge_results.txt
186
+ if git merge pr-$PR_NUMBER --no-ff -m "Merge PR $PR_NUMBER"; then
187
+ echo "✅ Merged PR $PR_NUMBER successfully" >> merge_results.txt
188
188
189
189
# Clean up the PR branch
190
190
git branch -D pr-$PR_NUMBER
191
191
else
192
- echo "❌ Failed to merge PR # $PR_NUMBER (unexpected error)" >> merge_results.txt
192
+ echo "❌ Failed to merge PR $PR_NUMBER (unexpected error)" >> merge_results.txt
193
193
git merge --abort
194
194
fi
195
195
fi
196
196
else
197
- echo "❌ Failed to fetch PR # $PR_NUMBER (PR may not exist or is closed)" >> merge_results.txt
197
+ echo "❌ Failed to fetch PR $PR_NUMBER (PR may not exist or is closed)" >> merge_results.txt
198
198
fi
199
199
done < prs_to_merge.txt
200
200
0 commit comments