So, this has been asked elsewhere, but the answers I see don't seem to work for me.
I have a bare remote repository, "origin". I work locally, in a branch named "ect010", which the remote has as well, and it is tracked:
git remote show origin
* remote origin
Fetch URL: /projects/ECT/bareChain.git
Push URL: /projects/ECT/bareChain.git
HEAD branch: master
Remote branches:
develop tracked
ect010 tracked
master tracked
oldXML tracked
Local branch configured for 'git pull':
ect010 merges with remote ect010
Local ref configured for 'git push':
ect010 pushes to ect010 (local out of date)
The remote ect010 branch has a few more recent commits than my local ect010 (I can see these commit if I go tho the bare directory and do a git log).
Knowing this, I do from my local ect010 branch:
git fetch origin ect010
Which doesn't seem to do much:
From /projects/ECT/bareChain
* branch ect010 -> FETCH_HEAD
..and finally, I want to see the differences between my local ect010 and the remote ect010, so I tried
git log origin/ect010
But this shows the same log as my local log, not showing the latest commits that I know are pushed on bare. Why? Obviously I am doing something wrong, but as I see on some other posts, this technique should work.. no?
I'd appreciate any help! Thanks a lot,
Arnaud
EDIT: (because I also see this suggestion in other answers, but seems OK in my config)
Doing
git config --get remote.origin.fetch
Gives:
+refs/heads/*:refs/remotes/origin/*
..which seems OK, right?