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"
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk