gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ci/github-script/merge: ignore case when checking for merge bot comment (#528891)

Browse Source
This commit is contained in:
Matt Sturgeon
2026-06-06 19:15:15 +00:00
committed by GitHub
parent 0a96d002bb 41876c6de2
commit 0be5391c60
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
ci/github-script/merge.js
+1 -1
View File
@@ -97,7 +97,7 @@ function hasMergeCommand(body) {
return (body ?? '')
.replace(/<!--.*?-->/gms, '')
.replace(/(^`{3,})[^`].*?\1/gms, '')
.match(/^@NixOS\/nixpkgs-merge-bot merge\s*$/m)
.match(/^@NixOS\/nixpkgs-merge-bot merge\s*$/im)
}
async function handleMergeComment({ github, body, node_id, reaction }) {