Re: [boost] Git: maintaining super-project