nixpkgs

41876c6d - ci/github-script/merge: ignore case when checking for merge bot comment