[shizcakes]

I don’t see a single such submission in their pull requests, open or closed, in the past couple weeks.

[simonw]

Read that comment more closely: they didn't ask for PRs to one of their own repos, they asked for a brand new repo to be created, and a link to that repo to be emailed to them.