Re: [darcs-users] Couldn't fetch when cloning a repository

[Ganesh Sittampalam]

On 14/10/2021 20:54, Simon Michael wrote:
Would me switching darcs hub to use the system openssh server, 
suitably locked down, be an alternative ? IIRC, I think not; the 
haskell ssh server allows the necessary tight integration with darcs 
hub's users and repos. (Aside from the resources required to switch.)


The biggest difficulty with running the system server is that you 
wouldn't want one system account per darcshub account.


The solution used by others, which I hadn't appreciated until recently, 
is to use a single username but then dispatch to the right user based on 
the public key used - e.g. every GitHub user is sshing to g...@github.com.


I think we should definitely do that if we have the resources (but I'm 
not volunteering right now). The current situation is a disaster.


Cheers,

Ganesh

___
darcs-users mailing list
darcs-users@osuosl.org
https://lists.osuosl.org/mailman/listinfo/darcs-users

Re: [darcs-users] Couldn't fetch when cloning a repository

[Simon Michael]

> On Oct 14, 2021, at 10:09 AM, Karl O. Pinc  wrote:
> 
> FYI.  The OpenSSH 8.8 release has some changes listed
> in the release email for OpenBSD 7.0 that may be relevant.

Thanks Karl. I'm hoping the published config works around this, no matter what 
openssh release one has.

___
darcs-users mailing list
darcs-users@osuosl.org
https://lists.osuosl.org/mailman/listinfo/darcs-users

Re: [darcs-users] Couldn't fetch when cloning a repository

[Simon Michael]

On 10/14/21 10:09 AM, Karl O. Pinc wrote:
> 

Thanks Karl. I'm hoping the config provided works around this.

___
darcs-users mailing list
darcs-users@osuosl.org
https://lists.osuosl.org/mailman/listinfo/darcs-users

Re: [darcs-users] Couldn't fetch when cloning a repository

[Karl O. Pinc]

On Thu, 14 Oct 2021 09:40:26 -1000
Simon Michael  wrote:

> Today I have rewritten
> https://hub.darcs.net/#what-is-the-special-ssh-config-i-need-for-darcs-hub
> 
> . Any testing of these instructions is welcome, on old and new ssh
> versions.

FYI.  The OpenSSH 8.8 release has some changes listed
in the release email for OpenBSD 7.0 that may be relevant.
If not now, then in the future.

 - OpenSSH 8.8

o Potentially incompatible changes
   - A near-future release of OpenSSH will switch scp(1) from
 using the legacy scp/rcp protocol to using SFTP by default.
   - This release disables RSA signatures using the SHA-1 hash
 algorithm by default.
   

I also seem to recall some announcement that said that RSA keys
smaller than 1024 can no longer be used.  But I can't verify this
because I can't find the announcement.

See also: https://www.openssh.com/txt/release-8.8

Regards,

Karl 
Free Software:  "You don't pay back, you pay forward."
 -- Robert A. Heinlein
___
darcs-users mailing list
darcs-users@osuosl.org
https://lists.osuosl.org/mailman/listinfo/darcs-users

Re: [darcs-users] Couldn't fetch when cloning a repository

[Simon Michael]

Hi Alexis, Gian Piero.  I currently don't check the mail list too often, so 
thanks for cc-ing me. I am starting to add more #darcs chat links to darcs hub 
docs, since that is where I'm most responsive for darcs hub issues.

Today I have rewritten 
https://hub.darcs.net/#what-is-the-special-ssh-config-i-need-for-darcs-hub 
 . 
Any testing of these instructions is welcome, on old and new ssh versions.

Best
-Simon



> On Oct 11, 2021, at 10:00 PM, Alexis Praga  wrote:
> 
> 
> Hi Gian Piero,
> 
> Here's what worked for me in ~/.ssh/config on Archlinux:
>> Host hub.darcs.net
>>   Ciphers +aes256-cbc
>>   PubkeyAcceptedKeyTypes +ssh-rsa
>>   HostKeyAlgorithms=+ssh-rsa
> 
> 
> 
> Gian Piero Carrubba  writes:
> 
>> * [Wed, Oct 06, 2021 at 02:46:15PM +0200] Alexis Praga:
>>> 
>>> More testing: this happens with Archlinux (latest), and not on FreeBSD
>>> 13.0.
>>> I can push/pull fine to my SSH server.
>> 
>> (replying to all in order to reach Simon, too).
>> 
>> Latest releases of openssh (not yet in FreeBSD, but already in Arch I 
>> guess) disable ssh-rsa signatures. IIRC, there should be a way to 
>> re-enable them in the config, but a cursory search found nothing, so 
>> maybe I'm remembering poorly.
>> The best way forward would be updating all the involved keys, but - 
>> again IIRC - darcs hub uses an Haskell implementation of the ssh server, 
>> so it could be not so straightforward.
>> 
>> Ciao,
>> Gian Piero.
>> 
>> PS: anyway, while at it could it be possible to also implement support 
>> for ed25519 keys?.
> 
> -- 
> Alexis Praga

___
darcs-users mailing list
darcs-users@osuosl.org
https://lists.osuosl.org/mailman/listinfo/darcs-users

Re: [darcs-users] Couldn't fetch when cloning a repository

[Alexis Praga]

Hi Gian Piero,

Here's what worked for me in ~/.ssh/config on Archlinux:
> Host hub.darcs.net
>Ciphers +aes256-cbc
>PubkeyAcceptedKeyTypes +ssh-rsa
>HostKeyAlgorithms=+ssh-rsa



Gian Piero Carrubba  writes:

> * [Wed, Oct 06, 2021 at 02:46:15PM +0200] Alexis Praga:
>>
>>More testing: this happens with Archlinux (latest), and not on FreeBSD
>>13.0.
>>I can push/pull fine to my SSH server.
>
> (replying to all in order to reach Simon, too).
>
> Latest releases of openssh (not yet in FreeBSD, but already in Arch I 
> guess) disable ssh-rsa signatures. IIRC, there should be a way to 
> re-enable them in the config, but a cursory search found nothing, so 
> maybe I'm remembering poorly.
> The best way forward would be updating all the involved keys, but - 
> again IIRC - darcs hub uses an Haskell implementation of the ssh server, 
> so it could be not so straightforward.
>
> Ciao,
> Gian Piero.
>
> PS: anyway, while at it could it be possible to also implement support 
> for ed25519 keys?.

-- 
Alexis Praga
___
darcs-users mailing list
darcs-users@osuosl.org
https://lists.osuosl.org/mailman/listinfo/darcs-users

Re: [darcs-users] Couldn't fetch when cloning a repository

[Gian Piero Carrubba]

* [Wed, Oct 06, 2021 at 02:46:15PM +0200] Alexis Praga:


More testing: this happens with Archlinux (latest), and not on FreeBSD
13.0.
I can push/pull fine to my SSH server.


(replying to all in order to reach Simon, too).

Latest releases of openssh (not yet in FreeBSD, but already in Arch I 
guess) disable ssh-rsa signatures. IIRC, there should be a way to 
re-enable them in the config, but a cursory search found nothing, so 
maybe I'm remembering poorly.
The best way forward would be updating all the involved keys, but - 
again IIRC - darcs hub uses an Haskell implementation of the ssh server, 
so it could be not so straightforward.


Ciao,
Gian Piero.

PS: anyway, while at it could it be possible to also implement support 
for ed25519 keys?.

___
darcs-users mailing list
darcs-users@osuosl.org
https://lists.osuosl.org/mailman/listinfo/darcs-users

Re: [darcs-users] Couldn't fetch when cloning a repository

[Alexis Praga]

More testing: this happens with Archlinux (latest), and not on FreeBSD
13.0.
I can push/pull fine to my SSH server.

Alexis Praga  writes:

> Hi,
>
> Another issue with hub.darcs.net today: I can no longer pull or clone
> any of my repositories:
>
>> $ darcs pull
>> Pulling from "alexda...@hub.darcs.net:alexdarcy/emacs.d"...
>> Not a repository: alexda...@hub.darcs.net:alexdarcy/emacs.d (The program 
>> "scp -- alexda...@hub.darcs.net:alexdarcy/emacs.d/_darcs/inventory 
>> ./darcs425106-3" failed with error: "Unable to negotiate with 
>> 2600:3c01::f03c:91ff:fe62:77de port 22: no matching host key type found. 
>> Their offer: ssh-rsa,ssh-dss
>> ".)
>
> Adding to HostKeyAlgorithms=+ssh-dss to ~/.ssh/config and removing 
> ~/.ssh/known_hosts does not solve it:
>>$ darcs pull
>> Pulling from "alexda...@hub.darcs.net:alexdarcy/emacs.d"...
>> Not a repository: alexda...@hub.darcs.net:alexdarcy/emacs.d (The program 
>> "scp -- alexda...@hub.darcs.net:alexdarcy/emacs.d/_darcs/inventory 
>> ./darcs425120-3" failed with error: "ssh_dispatch_run_fatal: Connection to 
>> 2600:3c01::f03c:91ff:fe62:77de port 22: key type does not match
>> ".)
>
> Cloning does not work either:
>> $ darcs clone  alexda...@hub.darcs.net:alexdarcy/emacs.d test
>> Not a repository: alexda...@hub.darcs.net:alexdarcy/emacs.d (The program 
>> "scp -- alexda...@hub.darcs.net:alexdarcy/emacs.d/_darcs/inventory 
>> ./darcs425130-2" failed with error: "ssh_dispatch_run_fatal: Connection to 
>> 2600:3c01::f03c:91ff:fe62:77de port 22: key type does not match
>> ".)
>
> Thanks,
>
> -- 
> Alexis Praga

-- 
Alexis Praga
___
darcs-users mailing list
darcs-users@osuosl.org
https://lists.osuosl.org/mailman/listinfo/darcs-users

Re: [darcs-users] Couldn't fetch when cloning a repository

[Alexis Praga]

Hi,

Another issue with hub.darcs.net today: I can no longer pull or clone
any of my repositories:

> $ darcs pull
> Pulling from "alexda...@hub.darcs.net:alexdarcy/emacs.d"...
> Not a repository: alexda...@hub.darcs.net:alexdarcy/emacs.d (The program "scp 
> -- alexda...@hub.darcs.net:alexdarcy/emacs.d/_darcs/inventory 
> ./darcs425106-3" failed with error: "Unable to negotiate with 
> 2600:3c01::f03c:91ff:fe62:77de port 22: no matching host key type found. 
> Their offer: ssh-rsa,ssh-dss
> ".)

Adding to HostKeyAlgorithms=+ssh-dss to ~/.ssh/config and removing 
~/.ssh/known_hosts does not solve it:
>$ darcs pull
> Pulling from "alexda...@hub.darcs.net:alexdarcy/emacs.d"...
> Not a repository: alexda...@hub.darcs.net:alexdarcy/emacs.d (The program "scp 
> -- alexda...@hub.darcs.net:alexdarcy/emacs.d/_darcs/inventory 
> ./darcs425120-3" failed with error: "ssh_dispatch_run_fatal: Connection to 
> 2600:3c01::f03c:91ff:fe62:77de port 22: key type does not match
> ".)

Cloning does not work either:
> $ darcs clone  alexda...@hub.darcs.net:alexdarcy/emacs.d test
> Not a repository: alexda...@hub.darcs.net:alexdarcy/emacs.d (The program "scp 
> -- alexda...@hub.darcs.net:alexdarcy/emacs.d/_darcs/inventory 
> ./darcs425130-2" failed with error: "ssh_dispatch_run_fatal: Connection to 
> 2600:3c01::f03c:91ff:fe62:77de port 22: key type does not match
> ".)

Thanks,

-- 
Alexis Praga
___
darcs-users mailing list
darcs-users@osuosl.org
https://lists.osuosl.org/mailman/listinfo/darcs-users

Re: [darcs-users] Couldn't fetch when cloning a repository

[Alexis Praga]

Hi Simon,

I’m having the same issue as last time. I can get by with a lazy clone,
otherwise, I have an Exception:

$ darcs clone alexda...@hub.darcs.net:alexdarcy/blog
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
`019437-665e8d91a5990618068c8e8ef65e01b099ff4233421233c397ae61422fe80d73'
in subdir patches from sources:

thisrepo:/home/alex/code/blog
cache:/home/alex/.cache/darcs
repo:.
repo:alexda...@hub.darcs.net:alexdarcy/blog
)

darcs failed:  Couldn't fetch
`153496-12b83e9c17802e71926c9bf9d3cdeda3f1b93e1188de445b95556ff03cabdc4a'
in subdir inventories from sources:

thisrepo:/home/alex/code/blog
cache:/home/alex/.cache/darcs
repo:.
repo:alexda...@hub.darcs.net:alexdarcy/blog


HINT: I could not reach the following repository:
alexda...@hub.darcs.net:alexdarcy/blog
  If you're not using it, you should probably delete
  the corresponding entry from _darcs/prefs/sources.

Thanks,

On Tue, Aug 31, 2021 at 7:33 PM Simon Michael  wrote:

> 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 

Re: [darcs-users] Couldn't fetch when cloning a repository

[Simon Michael]

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

Re: [darcs-users] Couldn't fetch when cloning a repository

[Alexis Praga]

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

Re: [darcs-users] Couldn't fetch when cloning a repository

[Simon Michael]

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
> 

___
darcs-users mailing list
darcs-users@osuosl.org
https://lists.osuosl.org/mailman/listinfo/darcs-users

Re: [darcs-users] Couldn't fetch when cloning a repository

[Ben Franksen]

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

___
darcs-users mailing list
darcs-users@osuosl.org
https://lists.osuosl.org/mailman/listinfo/darcs-users

[darcs-users] Couldn't fetch when cloning a repository

[Alexis Praga]

Hi,

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 !

-- 
Alexis Praga
___
darcs-users mailing list
darcs-users@osuosl.org
https://lists.osuosl.org/mailman/listinfo/darcs-users