this isn't an official GitHub statement but I will say that GitHub overall went through an effort a few years ago to unblock users who are in sanctioned countries but exclusively doing open-source work in compliance with US sanctions law.
No idea what happened in this case but it's my understanding that's still our policy, and it really is something we believe in.