In fact, it's possible to apply for an exemption to transact business with sanctioned countries. GitHub would probably have a good case for such an exemption and their parent company is already exempted to sell things like Microsoft Office to there.
https://complyadvantage.com/knowledgebase/sanctions-2/ofac-s...