community-scripts/ProxmoxVED
5
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity

Personalize comments with PR author mention

Browse Source
This commit is contained in:
Tobias 2026-02-08 21:24:03 +01:00 committed by GitHub
parent 02dc3efc7b
commit 765a455be7
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/stale_pr_close.yml generated vendored
View File

@ -27,11 +27,12 @@ jobs:
if (context.eventName === "pull_request_target" && context.payload.action === "labeled") { if (context.eventName === "pull_request_target" && context.payload.action === "labeled") {
const label = context.payload.label?.name; const label = context.payload.label?.name;
if (label === "stale") { if (label === "stale") {
const author = context.payload.pull_request.user.login;
await github.rest.issues.createComment({ await github.rest.issues.createComment({
owner, owner,
repo, repo,
issue_number: context.payload.pull_request.number, issue_number: context.payload.pull_request.number,
body: "This PR has been marked as stale. It will be closed if no new commits are added in 7 days." body: `@${author} This PR has been marked as stale. It will be closed if no new commits are added in 7 days.`
}); });
} }
return; return;
@ -75,6 +76,7 @@ jobs:
}); });
const lastCommitDate = new Date(commits[commits.length - 1].commit.author.date); const lastCommitDate = new Date(commits[commits.length - 1].commit.author.date);
const author = pr.user.login;
// If there are new commits after the stale label, remove it // If there are new commits after the stale label, remove it
if (lastCommitDate > staleLabelDate) { if (lastCommitDate > staleLabelDate) {
@ -88,7 +90,7 @@ jobs:
owner, owner,
repo, repo,
issue_number: pr.number, issue_number: pr.number,
body: "Recent activity detected. Removing stale label." body: `@${author} Recent activity detected. Removing stale label.`
}); });
} }
// If 7 days have passed since stale label, close the PR // If 7 days have passed since stale label, close the PR
@ -103,7 +105,7 @@ jobs:
owner, owner,
repo, repo,
issue_number: pr.number, issue_number: pr.number,
body: "Closing stale PR due to inactivity (no commits for 7 days after stale label)." body: `@${author} Closing stale PR due to inactivity (no commits for 7 days after stale label).`
}); });
} }
} }