>Yes, only if there's nothing to merge, as soon as the remote HEAD is ahead of 
>my branch HEAD, I'll have an extra merge commit I don't want in order to keep 
>a clean, linear and readable history.

We just disagree. How shall we proceed?


Reply via email to