Well, this also shows why we all should remove our dependency on Microsoft-GitHub in the long run. The US government just fiddle-influences too much here. Tomorrow it could be your project too.