On Sun, Apr 05, 2020 at 03:50:19PM +0000, Philippe Blain via GitGitGadget wrote: > From: Philippe Blain <levraiphilippeblain@xxxxxxxxx> > > Since f269048754 (fetch: opportunistically update tracking refs, > 2013-05-11), the underlying `git fetch` in `git pull <remote> <branch>` > updates the configured remote-tracking branch for <branch>. > > However, an example in the 'Examples' section of the `git pull` > documentation still states that this is not the case. > > Correct the description of this example. Yeah, I think the example just never got updated. Your patch looks good. Another option would be to use a direct URL rather than a configured remote, which really would just update FETCH_HEAD. But I don't think the handling of remote-tracking branches is central to this example either way, so your minimal change is better. -Peff
