What does this show in the master branch after you "git pull":

git rev-parse HEAD

git rev-parse HEAD
658b768a6534ae6e77a8547a56fc31b46b63710b

Seems to me that the url is right, and so is this latest commit.

And for the problem with invoking git, my bad, I compiled in a branch where I missed a merge.

Sorry for the noise,

Fabrice