>
>
>> 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