feat: add opt-in --ignore-case to fragment checks - #294

feat: add opt-in --ignore-case to fragment checks#294

qiaobochi040726-source wants to merge 1 commit into

GatorEducator:masterGatorEducator/gatorgrader:masterfrom

qiaobochi040726-source:20260828-ignore-case-fragmentqiaobochi040726-source/gatorgrader:20260828-ignore-case-fragmentCopy head branch name to clipboard