I didn't describe Github as overcompliance, I described GitLAB as overcompliance. There are plenty of U.S. based internet services that work in Iran. There are

I didn't describe Github as overcompliance, I described GitLAB as overcompliance. There are plenty of U.S. based internet services that work in Iran. There are instances where Iran has banned Gmail, and Iran currently has bans on Facebook and some other social media sites, but that's because the government of Iran has imposed such bans to prevent its people from using the Internet to engage in the free flow of information, not because of the U.S. The links you mention don't state that Github did any work to comply with U.S. sanctions. The links you state are consistent with the links I posted which is that Github is welcome to provide online services to Iran that are free of charge. Feel free to counter this by pointing out any particular feature or work that Github has to implement unless your suggestion is that denying access to people in Iran paid services like Github Enterprises is somehow a form of "additional feature work put in place" to support Iranian users.