Matthew Dillon wrote:
Well, not tarballs. The idea is to keep it in git so third parties can
track and merge it trivially.
The problem with creating another repo is that *we* can't merge trivially from it. I think tarballs are the best option. cheers simon
