Bill Allombert on Thu, 13 Nov 2014 16:30:22 +0100

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

Re: git issue

On Thu, Nov 13, 2014 at 03:10:52PM +0000, John Cremona wrote:
> 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

Maybe some corruption at our end. I tried to clean up the repository.
Mabe retry. At least now, I can see de0c7af279ee11ea33a9497146277c6b30f38e66
and a804b4599c42415ee3afe396a4031f6e247fb53b.