On 02/03/2012 03:58 PM, Sebastian Huber wrote: > I think that it is better (please note that I am a Git novice) to use > a rebase instead of a merge before we push changes upstream into the > master branch. +1 best regards xiangfu