From 186fef9d5e74330ccb5a3338583c777c51c34785 Mon Sep 17 00:00:00 2001 From: Michael Daniels Date: Sat, 6 Jun 2026 14:11:37 -0400 Subject: [PATCH] ci/github-script/merge: ignore case when checking for merge bot comment (cherry picked from commit 41876c6de2b81674f9ca4318288cd76ae1a47954) --- ci/github-script/merge.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/github-script/merge.js b/ci/github-script/merge.js index fe4f90ff3baa..ee861e21187d 100644 --- a/ci/github-script/merge.js +++ b/ci/github-script/merge.js @@ -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 }) {