Re: [boost] [git] Pushing commit(s) after pulling

Subject: Re: [boost] [git] Pushing commit(s) after pulling
From: Mathias Gaunard (mathias.gaunard_at_[hidden])
Date: 2014-08-20 08:34:16

On 20/08/14 03:18, Gavin Lambert wrote:

> One case where it's a bit trickier to define the "right thing" is with
> pull requests.

For me it makes sense to merge pull requests rather than rebase them. 
They're usually a set of commits that fix a bug or implement a new 
feature, and are strongly correlated.

It's different from the random merges you get in the "pull before push" 
scenario.