Comment by personjerry

Looks like a proxy, not a mirror to me, because it's showing GitHub's bot protection page.