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