Boost logo

Boost :

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.


Boost list run by bdawes at, gregod at, cpdaniel at, john at