a sub repo under PlayWithSubtree