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.