[boost] About authorizing CircleCI

Subject: [boost] About authorizing CircleCI
From: Vicente J. Botet Escriba (vicente.botet_at_[hidden])
Date: 2018-03-06 17:40:08

Hi, recently I heard of CircleCI (https://circleci.com/) and it seems 
much faster than Travis.

Is someone using it? What is your feedback?

If the feedback is positive, could someone authorize CircleCI to access 
boostorg?

Best,

Vicente