> On Oct 17, 2019, at 11:23 PM, Willem Ferguson > <[email protected]> wrote: > > While I was away several weeks, several merges were done to master resulting > my local system being old. I wish to update my system to current master. > > If I say git pull or git pull origin, I get "Already up to date". However > when I do git log it does not show any updates after my last commit 2 months > ago.
So the question is "what does git think 'origin' might be"? Easy way to find out: git remote -v /D _______________________________________________ subsurface mailing list [email protected] http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
