I think these provisions came after the patch was pushed to Github back in 2016. I remember that when the Github rules related to US sanctions were first poste

I think these provisions came after the patch was pushed to Github back in 2016. I remember that when the Github rules related to US sanctions were first posted there was a lot of backlash here on HN from Iranian developers and it must have been 2017~2018. Doesn't mean it wasn't illegal before but at least Github didn't seem to be enforcing it. Also the class was likely at PUST (https://en.wikipedia.org/wiki/Pyongyang_University_of_Science_and_Technology https://en.wikipedia.org/wiki/Pyongyang_University_of_Scienc...) which is operated with US funds and likely had clearance to teach that sort of material.