But they hosted the repo on Microsoft-run GitHub ...

The public-facing mirror :-)