Re: [boost] [github] default PR destination

(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?