Microsoft is pretty hands off when it comes to their acquisitions the last decade. And moreso, this is GitHub's product (they acquired it, not the larger MS or

Microsoft is pretty hands off when it comes to their acquisitions the last decade. And moreso, this is GitHub's product (they acquired it, not the larger MS org), the GitHub group is still fairly independent of Microsoft. I can imagine GitHub doesn't give a shit as they continue to push people to use the GitHub package registry instead.