Bundling stuff into a single repository, choice of which can be decided with $SUBREPO