github: Ignore punctuation marks in PR verification

This commit is contained in:
PabloMK7 2026-01-22 13:47:25 +01:00 committed by GitHub
parent 102f7d24fc
commit b54911a52e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -39,7 +39,7 @@ jobs:
const displayName = (user.name || '').toLowerCase();
// Make comment body lowercase and split words
const body = comment.body.toLowerCase().trim().split(/\s+/);
const body = comment.body.toLowerCase().trim().replace(/[^\p{L}\p{N}_-\s]/gu, '').split(/\s+/);
// Check that the user verified themselves by writing a song about the NES and the SNES.
const verified =