mirror of
https://github.com/pytorch/pytorch.git
synced 2025-10-20 21:14:14 +08:00
[GHF] Add PR number to commit title
Pull Request resolved: https://github.com/pytorch/pytorch/pull/77006 Approved by: https://github.com/mehtanirav
This commit is contained in:
committed by
PyTorch MergeBot
parent
3202398fc7
commit
1ac434f673
2
.github/scripts/trymerge.py
vendored
2
.github/scripts/trymerge.py
vendored
@ -642,7 +642,7 @@ class GitHubPR:
|
||||
if not self.is_ghstack_pr():
|
||||
# Adding the url here makes it clickable within the Github UI
|
||||
approved_by_urls = ', '.join(prefix_with_github_url(login) for login in self.get_approved_by())
|
||||
msg = self.get_title() + "\n\n" + self.get_body()
|
||||
msg = self.get_title() + f" (#{self.pr_num})\n\n" + self.get_body()
|
||||
msg += f"\nPull Request resolved: {self.get_pr_url()}\n"
|
||||
msg += f"Approved by: {approved_by_urls}\n"
|
||||
pr_branch_name = f"__pull-request-{self.pr_num}__init__"
|
||||
|
Reference in New Issue
Block a user