Sent a mail today to a developer from Iran:
Subject: GitHub TOS and Iran
Would you agree to discuss about how GitHub policy is problematic for developers in Iran? Earlier this year I bootstrapped a “forge federation” project that is about allowing developers from everywhere to work together without being subject to such restrictions.
Update: they kindly replied that they have no time to discuss this right now.