@@ -57,11 +57,11 @@ jobs:
57
57
const STALE_CLOSE_THRESHOLD_MS = 1000 * 60 * 60 * 24 * 30;
58
58
59
59
const STALE_MESSAGE =
60
- "Looks like this PR hasn't been updated in a while so we're going to go ahead and mark this as `Stale `. <br>" +
61
- "Feel free to remove the `Stale ` label if you feel this was a mistake. <br>" +
62
- "If you are unable to remove the `Stale ` label please contact a maintainer in order to do so. <br>" +
60
+ "Looks like this PR hasn't been updated in a while so we're going to go ahead and mark this as `stale `. <br>" +
61
+ "Feel free to remove the `stale ` label if you feel this was a mistake. <br>" +
62
+ "If you are unable to remove the `stale ` label please contact a maintainer in order to do so. <br>" +
63
63
"If you want the bot to never mark this PR stale again, add the `no-stale` label.<br>" +
64
- "`Stale ` pull requests will automatically be closed after 30 days of inactivity.<br>";
64
+ "`stale ` pull requests will automatically be closed after 30 days of inactivity.<br>";
65
65
66
66
let numAPIRequests = 0;
67
67
let numProcessed = 0;
79
79
80
80
// Check if the PR is stale, according to our configured thresholds.
81
81
let staleThresholdMillis;
82
- if (labels.includes("Stale ")) {
82
+ if (labels.includes("stale ")) {
83
83
core.info(`[${pull.number}] PR is labeled stale, checking whether we should close it.`);
84
84
staleThresholdMillis = STALE_CLOSE_THRESHOLD_MS;
85
85
} else {
97
97
98
98
// At this point, we know we should do something.
99
99
// For PRs already labeled stale, close them.
100
- if (labels.includes("Stale ")) {
100
+ if (labels.includes("stale ")) {
101
101
core.info(`[${pull.number}] Closing PR.`);
102
102
numAPIRequests += 1;
103
103
await github.rest.issues.update({
@@ -123,7 +123,7 @@ jobs:
123
123
owner: "pytorch",
124
124
repo: "tutorials",
125
125
issue_number: pull.number,
126
- labels: ["Stale "],
126
+ labels: ["stale "],
127
127
});
128
128
}
129
129
}
0 commit comments