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
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 (fetch)
origin (push)