This all makes sense, and I've definitely been feeling the integration pain when I want to export code elsewhere – GitHub support coming soon!