frozenleaves/pytorch
1
0
Fork 0
mirror of https://github.com/pytorch/pytorch.git synced 2025-10-20 21:14:14 +08:00
Code Issues Packages Projects Releases Wiki Activity

[devX] make labels only count their own occurences (#98551)

Browse Source 
Small QoL improvement such that add_numbered_label now works more intuitively. Now if we push different labels instead of having `[reverted, mergedX2, revertX3, mergedX4, revertedX5, mergedX6]` we have `[reverted, merged, revertX2, mergedX2, revertedX3, mergedX3]`

Pull Request resolved: https://github.com/pytorch/pytorch/pull/98551
Approved by: https://github.com/huydhn
This commit is contained in:
PaliC
2023-04-06 16:02:50 -07:00
committed by PyTorch MergeBot
parent d06662fb57
commit 46d765c15e
1 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
.github/scripts/trymerge.py vendored
View File

@ -1040,12 +1040,14 @@ class GitHubPR:
return msg
def add_numbered_label(self, label_base: str) -> None:
labels = self.get_labels()
label = label_base
for i in range(len(labels) if labels is not None else 0):
if label in labels:
label = f"{label_base}X{i+2}"
gh_add_labels(self.org, self.project, self.pr_num, [label])
labels = self.get_labels() if self.labels is not None else []
full_label = label_base
count = 0
for label in labels:
if label_base in label:
count += 1
full_label = f"{label_base}X{count}"
gh_add_labels(self.org, self.project, self.pr_num, [full_label])
def remove_label(self, label: str) -> None:
if self.get_labels() is not None and label in self.get_labels():