It's not actually pushed to the DMCA repo, it's pushed to a fork. GitHub will show the commit from the fork as if it's from the main repository if you specify the commit hash in the url. See this comment from yesterday for more details [1], with a proof of concept on the linux kernel repo [2].

[1] https://news.ycombinator.com/item?id=24976138 [2] https://github.com/torvalds/linux/tree/5895e21f3c744ed9829e3...