yade-dev team mailing list archive

[Bruno Chareyre <bruno.chareyre@xxxxxxxxxxx>]

>
> I am pretty sure I did pull/commit/push... I will be careful next time
> (that's also why I just commited changes in doc BTW).
>
Very strange. It is not supposed to happen. Unless my push time was just
between your pull and your push, I can't understand how it can give a
bubble.
And even in that case you would have add a message telling you to update
before the push (would have been pull/commit/pull/push).
Autorebase will make things easier anyway.

B