Good. I have deleted blog2 from the database (it had not been created on the
filesystem).
> On Aug 31, 2021, at 6:39 AM, Alexis Praga wrote:
>
>
> Thanks for the answer, Ben and Simon.
> Creating a new repo fixed it.
>
> Simon, would it be possible to delete this "repository" :
> hub.darcs.net/alexdarcy/blog2 ?
> When creating it, I got a GET error and I cannot access it since.
>
> Thanks !
>
> Simon Michael writes:
>
>> Thanks for the ping Ben.
>>
>> On the server, `darcs check` passes, and I can `darcs get` the repo to a
>> local copy without error. I ran `darcs optimize http` for good measure. But
>> like you, I still can't `darcs get` this repo to a remote machine. I was
>> able to `darcs get` another of Alexis's repos.
>>
>> That's a puzzle. Sorry Alexis, I'm going to recommend you try pushing a new
>> copy of this repo under a new name (or delete the old one and re-push to a
>> new repo with the same name) and see if that "fixes" it.
>>
>>
>>
>>> On Aug 29, 2021, at 1:52 AM, Ben Franksen wrote:
>>>
>>> Am 28.08.21 um 23:03 schrieb Alexis Praga:
I'm trying darcs again since a few days and have hit an issue when
cloning a (non-empty) repository hosted on hub.darcs.net.
The error is:
> Done fetching and unpacking basic pack.
> Copying patches, to get lazy repository hit ctrl-C...
> Exception while getting patches pack:
> user error (Couldn't fetch
> 001251-f948ccb7fba745717a321df8692dd42a829f9f74bff78205e20ddcafcc0b61d8
> in subdir patches from sources:
>
> thisrepo:/usr/home/alex/code/blog
> cache:/home/alex/.cache/darcs
> repo:.
> repo:alexda...@hub.darcs.net:blog
> )
> Couldn't fetch
> 001251-f948ccb7fba745717a321df8692dd42a829f9f74bff78205e20ddcafcc0b61d8
> in subdir patches from sources:
>
> thisrepo:/usr/home/alex/code/blog
> cache:/home/alex/.cache/darcs
> repo:.
> repo:alexda...@hub.darcs.net:blog
>
>
> By the way, I could not reach the following location:
> alexda...@hub.darcs.net:blog
> Unless you plan to restore access to it, you should delete the
> corresponding entry from _darcs/prefs/sources.
I managed to get around it by downloading the repository as a zip file,
running 'darcs init' and 'darcs pull'.
After that, cloning works again.
Any idea appreciated, thanks !
>>>
>>> Indeed I can reproduce the problem with darcs-2.16.4, with different files:
>>>
>>> ben@home[3]:~/scratch>darcs-2.16.4 clone b...@hub.darcs.net:alexdarcy/blog
>>> --no-cache
>>> Done fetching and unpacking basic pack.
>>> Copying patches, to get lazy repository hit ctrl-C...
>>> Exception while getting patches pack:
>>> user error (Couldn't fetch
>>> 002258-69b6b76aa783a1a96ffa71c33e3f3c47187191f5f8a824376662c78494ceb2dc
>>> in subdir patches from sources:
>>>
>>> thisrepo:/home/ben/scratch/blog
>>> repo:.
>>> repo:b...@hub.darcs.net:alexdarcy/blog
>>> )
>>> Couldn't fetch
>>> 153496-12b83e9c17802e71926c9bf9d3cdeda3f1b93e1188de445b95556ff03cabdc4a
>>> in subdir inventories from sources:
>>>
>>> thisrepo:/home/ben/scratch/blog
>>> repo:.
>>> repo:b...@hub.darcs.net:alexdarcy/blog
>>>
>>>
>>> By the way, I could not reach the following location:
>>> b...@hub.darcs.net:alexdarcy/blog
>>> Unless you plan to restore access to it, you should delete the
>>> corresponding entry from _darcs/prefs/sources.
>>>
>>>
>>> (I used --no-cache to circumvent the cache on my machine to make sure it
>>> actually tries to download all files.)
>>>
>>> This is pretty strange. It works when I pass --lazy. And when I issue a
>>> darcs check --no-cache afterwards (which should download all missing files)
>>> this seems to work, too.
>>>
>>> I can also clone from the https URL. And, notably, I can clone the same
>>> repo via ssh from localhost (also with --no-cache). This suggests the
>>> problem may lie with hub.darcs.net and not with darcs; perhaps a slow
>>> response runs into a timeout? I have cc'ed Simon...
>>>
>>> Cheers
>>> Ben
>>> --
>>> I would rather have questions that cannot be answered, than answers that
>>> cannot be questioned. -- Richard Feynman
>>>
>>
>
> --
> Alexis Praga
___
darcs-users mailing list
darcs-users@osuosl.org
https://lists.osuosl.org/mailman/listinfo/darcs-users
