As long as we treat github repos as an independent source from the local git we should be fine. (Where independence means they have their own hierarchy trees etc)