This is well within GitHub's Account ToS in Section B 3.6. [0] so all GitHub users who are part of the US sanctioned countries list [1] are banned from having an account. Since Microsoft/GitHub are all US based companies, they must comply with US export laws and I'm afraid not even GH/Microsoft staff can intervene in this.

I don't know what to think about this 'message to GitHub' since they can't do anything about this, but I think that migrating off of GitHub and lessening or completely removing our dependence on the service is probably better for those developers and for open-source in general.

[0] https://help.github.com/en/articles/github-terms-of-service#...

[1] https://help.github.com/en/articles/github-and-trade-control...