> --> Was there a plan for any consolidation of the various git > repositories?) I don't see any reason to consolidate -- the whole point of git is that it makes distributed development easier. Being able to have a private tree that I can screw up and rebuild whenever I need to is kind of the point. - R.