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:32:10

On 19/08/14 16:53, Vladimir Prus wrote:

> Thanks for writing this down in detail! It's indeed a matter of
> preference, although:

I don't think it should be a matter of preference.
You should always avoid publishing unnecessary noise. Don't merge when 
you can rebase.
Of course, you should never rebase changes that you have already shared 
with others.

It's also a good idea sometimes to squash commits, split them or just 
completely re-do them before pushing. How you want to present your work 
to the other members of your team is up to you.