I did find that suspicious, but that repo has no closed issues either. I wonder if they’re being cleaned up by github in a way that bypasses the issue closed event, because I don’t think there’s a way to do that normally.