Re: Missing changes in merges from emacs-25 to master

[Stefan Monnier]

>> >   . Phillip then said "git pull", followed by "git push".
>> That's a problem in itself, since it leads to annoying commit diffs that
>> repeat other things, and it changes "git log" ordering in confusing ways
>> (makes it seem like mainline's development is Philip's and when happened
>> on master during this time was done on a branch).
> Indeed.  But sometimes this cannot be avoided, because no matter how
> quick you are, there's always a chance that someone else pushes
> between your local commit and your push.  The probability of this
> could be brought down significantly by "git pull" before the local
> commit, but it cannot be eliminated altogether.

"git rebase" should do the trick.


        Stefan