[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.