[boost] Re: GitHub reliability