[rfk-dev] inserting older versions into the repo

[Peter A. H. Peterson]

Quoting Eric S. Raymond:
> > That way, individual implementors could be given full control over
> > their relevant repos. I think in particular if a large number of
> > developers want their code trees hosted through robotfindskitten.org
> > it could get unwieldy.
> 
> It's not a decision we have to make immediately...because it just so
> happens that your devteam now includes the author of reposurgeon, which
> can slice and dice git repositories with the greatest of ease.
> 
> When and if we decide to break the repo up into port-specific repos,
> it can not only be done but the daughter repos will retain their history.

Neato! Then by all means, let's do it.

-- 
Peter A. H. Peterson
Graduate Student Researcher
Laboratory for Advanced Systems Research
University of California, Los Angeles