Re: [boost] [github] default PR destination

Subject: Re: [boost] [github] default PR destination
From: Peter A. Bigot (pab_at_[hidden])
Date: 2014-01-05 11:30:42

On 01/05/2014 10:06 AM, tim wrote:
>> (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?

I think there's a misunderstanding of what "pull request" means. I'm not 
requesting that the changes go (directly) into master.  I'm requesting 
(or suggesting) that the changes go into the project.  It happens that 
I'm providing those changes relative to the current master because 
that's what I need and have available.  But if they go through 
intervening branches and quality control before they end up back there, 
that's expected and something the maintainer should be able to easily 
accommodate using git.

Peter