Even if are any "civilian" internet users in North Korea (unlikely since using the internet requires government approval), I think it's safe to say that being stymied by US export restrictions on Sourceforge is the least of their problems...