fix: match github cortex mentions case-insensitively#410
Open
nijanthanvijayakumar wants to merge 2 commits into
Open
fix: match github cortex mentions case-insensitively#410nijanthanvijayakumar wants to merge 2 commits into
nijanthanvijayakumar wants to merge 2 commits into
