> they are sanctioned by GitHub and other services They're sanctioned by various governments around the world, not GitHub. I think this is an important differ

> they are sanctioned by GitHub and other services They're sanctioned by various governments around the world, not GitHub. I think this is an important difference, because GitHub doesn't really have much choice in this.