Skip to content

Commit

Permalink
[Chore](cherry-pick-tool)Add PR number in PR body
Browse files Browse the repository at this point in the history
  • Loading branch information
CalvinKirs committed Oct 28, 2024
1 parent 1cbee7a commit 0d6973d
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions tools/auto-pick-script.py
Original file line number Diff line number Diff line change
Expand Up @@ -89,11 +89,11 @@
# Create a new PR for the cherry-picked changes
new_pr = repo.create_pull(
title=f"{TARGET_BRANCH}: {pr.title}", # Prefix with branch name
body=pr.body, # Keep the original PR body
body=pr.body+ "\n Cherry-picked from #"+pr.number, # Keep the original PR body
head=new_branch_name,
base=TARGET_BRANCH
)

new_pr.create_issue_comment("run buildall")
print(f"Created a new PR #{new_pr.number} for cherry-picked changes.")
else:
print(f"Commit {merge_commit_sha} was not found in {new_branch_name} after cherry-picking.")
Expand Down

0 comments on commit 0d6973d

Please sign in to comment.