adding - is one repo a subset of another?