Identify closed pull requests as such, so we don't create false positive comments that summons the gatekeepers

Title says it all.