GitHub reveals how it handles US trade restrictions, after blocking UK developer