Comment by Animats

Microsoft will probably try to sneak it back in later. They've done that with other intrusions.

Migrating away from Github just increased in priority.