File tree Expand file tree Collapse file tree 1 file changed +18
-18
lines changed Expand file tree Collapse file tree 1 file changed +18
-18
lines changed Original file line number Diff line number Diff line change @@ -93,31 +93,31 @@ jobs:
93
93
if (labels.includes("Stale")) {
94
94
core.info(`[${pull.number}] Closing PR.`);
95
95
numAPIRequests += 1;
96
- // await github.rest.issues.update({
97
- // owner: "pytorch",
98
- // repo: "executorch",
99
- // issue_number: pull.number,
100
- // state: "closed",
101
- // });
96
+ await github.rest.issues.update({
97
+ owner: "pytorch",
98
+ repo: "executorch",
99
+ issue_number: pull.number,
100
+ state: "closed",
101
+ });
102
102
} else {
103
103
// For PRs not labeled stale, label them stale.
104
104
core.info(`[${pull.number}] Labeling PR as stale.`);
105
105
106
106
numAPIRequests += 1;
107
- // await github.rest.issues.createComment({
108
- // owner: "pytorch",
109
- // repo: "executorch",
110
- // issue_number: pull.number,
111
- // body: STALE_MESSAGE,
112
- // });
107
+ await github.rest.issues.createComment({
108
+ owner: "pytorch",
109
+ repo: "executorch",
110
+ issue_number: pull.number,
111
+ body: STALE_MESSAGE,
112
+ });
113
113
114
114
numAPIRequests += 1;
115
- // await github.rest.issues.addLabels({
116
- // owner: "pytorch",
117
- // repo: "executorch",
118
- // issue_number: pull.number,
119
- // labels: ["Stale"],
120
- // });
115
+ await github.rest.issues.addLabels({
116
+ owner: "pytorch",
117
+ repo: "executorch",
118
+ issue_number: pull.number,
119
+ labels: ["Stale"],
120
+ });
121
121
}
122
122
}
123
123
You can’t perform that action at this time.
0 commit comments