John Cremona on Thu, 13 Nov 2014 16:11:35 +0100


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

git issue 

I have a clone of the pari git repository, just one branch "master"
currently at commit  e3afc6dc6578e6ef95fc19d89bd8298b26ae1543 from
June 28.

When I do "git pull" I get this error:

$ git pull
error: Unable to find de0c7af279ee11ea33a9497146277c6b30f38e66 under
http://pari.math.u-bordeaux.fr/git/pari.git
Cannot obtain needed tree de0c7af279ee11ea33a9497146277c6b30f38e66
while processing commit a804b4599c42415ee3afe396a4031f6e247fb53b.
error: Fetch failed.

I have some familiarity with git, andI would expect this to work.
What is wrong?   The only remote I have here is


$ git remote -v
origin  http://pari.math.u-bordeaux.fr/git/pari.git (fetch)
origin  http://pari.math.u-bordeaux.fr/git/pari.git (push)

John