Updating local git branch to latest master

Dirk Hohndel dirk at hohndel.org
Fri Oct 18 09:06:08 PDT 2019

> On Oct 17, 2019, at 11:23 PM, Willem Ferguson <willemferguson at zoology.up.ac.za> 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


More information about the subsurface mailing list