Well, GitHub is now fully available in Iran: https://github.blog/2021-01-05-advancing-developer-freedom-g...