[boost] Git: maintaining super-project