o/main is not synced when doing `git pull origin main:main` about learngitbranching HOT 4 CLOSED

Yep that's the intended behavior when you specify a full set of arguments like that; the very last lesson explains this:

I'm not entirely sure why git just doesn't automatically update o/main for you in this case (I can't think of a time where you want o/main to diverge from the commits you have locally for the origin version of main) but you can fix it with a single command of git fetch origin main afterwards

from learngitbranching.

so is this comment wrong? @pcottle

from learngitbranching.

So I think there are a few things going on:

1. is the git simulator currently working as designed for the lessons? Yes, I don't think it's a recent regression or it prevents levels from being completed

2. should pulling always update the origin tracking branch even if you provide an argument? Probably (even if it doesn't in the simulator)

I started this project over a decade ago so it's very likely that either I missed this detail while implementing or maybe old versions of git didn't do this

from learngitbranching.

Anyways if you can find anything in the docs that confirm this, we can work on implementing the change

from learngitbranching.