If Microsoft really cared they’d pull a Nintendo and have GitHub nuke their repo.

It’s even easier for them, since MS owns Github.