ci/github-script/get-pr-commit-details: output file list for merge commits

Fixes a bug that was originally found by Claude and reported to the NixOS
security team by Anthropic as a security issue.

Previously, the file list was never output for merge commits.

This could have allowed someone who buried an edit to a file that shouldn't be
edited manually in a merge commit to not trigger the check.

It isn't a security issue, though, because the manual-file-edits check is not
a security boundary (just a friendly reminder to committers).

Anthropic report ID: ANT-2026-223Q3FSE
This commit is contained in:
Michael Daniels
2026-08-01 20:28:39 -04:00
parent cd017c33bb
commit e7804286db
@@ -84,6 +84,7 @@ async function getCommitDetailsForPR({ core, pr, repoPath }) {
'log',
'--format=%s\t%aN\t%aE\t%cN\t%cE',
'--name-only',
'-m',
'-1',
sha,
],