Re: [boost] [git] Editing the release notes with github.