| John Cremona on Thu, 13 Nov 2014 16:40:25 +0100 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
| Re: git issue |
On 13 November 2014 15:30, Bill Allombert <Bill.Allombert@math.u-bordeaux.fr> wrote: > 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 >> 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 > > Maybe some corruption at our end. I tried to clean up the repository. > Mabe retry. At least now, I can see de0c7af279ee11ea33a9497146277c6b30f38e66 > and a804b4599c42415ee3afe396a4031f6e247fb53b. It is still not working. "get fetch" and "git remote update" all give the same error. John > > Cheers, > Bill. >