On May 23, 2012, at 20:25, Bjarne D Mathiesen wrote: > So ... portindex is -as a minimum- _unable_ to combine a private repo > with the official repo in a case like this. portindex always only concerns itself with the single ports tree you're running the command in.