PRs older than the verifier landed in HEAD. So update the whitelist
Attach a file by drag & drop or click to upload
