GitHub and Export Controls

FWIW, it was first created in 2017 and last updated in March[0].

[0]https://github.com/github/site-policy/commits/master/Policie...