Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
mo3et committed Nov 27, 2024
1 parent 3557390 commit 0099a27
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 2 deletions.
4 changes: 3 additions & 1 deletion .github/workflows/cleanup-after-milestone-prs-merged.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,8 +21,10 @@ jobs:
echo "PR Title: $PR_TITLE"
PR_TITLE_ESCAPED=$(echo "$PR_TITLE" | sed 's/`/\\`/g')
# Extract PR numbers from the title
PR_NUMBERS=$(echo "$PR_TITLE" | grep -oE "#[0-9]+" | tr -d '#' | tr '\n' ' ')
PR_NUMBERS=$(echo "$PR_TITLE_ESCAPED" | grep -oE "#[0-9]+" | tr -d '#' | tr '\n' ' ')
echo "Extracted PR Numbers: $PR_NUMBERS"
# Save PR numbers to a file
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/merge-PR-into-milestone.yml
Original file line number Diff line number Diff line change
Expand Up @@ -110,7 +110,7 @@ jobs:
git push origin $cherry_pick_branch --force
new_pr_title="$pr_title [Created by @$pr_creator from #$pr_number]"
new_pr_body="$pr_body
new_pr_body="$pr_body
>This PR cherry-picks commit from original PR #$pr_number."
response=$(curl -s -X POST -H "Authorization: token $BOT_TOKEN" \
Expand Down

0 comments on commit 0099a27

Please sign in to comment.