Subject: Re: [boost] [github] default PR destination
From: tim (tim_at_[hidden])
Date: 2014-01-05 11:06:42


> (for tim: same answer; pull request is never directly merged to master;
> any test farm is not inherently circumvented; etc.)

so if you agree that your PR should not go into master, why do you
request exactly that?