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

2021-08-28 Thread 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:

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

2021-08-29 Thread 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 gett

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

2021-08-30 Thread 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.

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

2021-08-31 Thread 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 th

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

2021-08-31 Thread 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.

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

2021-10-03 Thread 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

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

2021-10-06 Thread 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/

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

2021-10-06 Thread 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.da

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

2021-10-11 Thread 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 gu

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

2021-10-12 Thread 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:

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

2021-10-14 Thread 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-co

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

2021-10-14 Thread Simon Michael
> On Oct 11, 2021, at 8:37 AM, Gian Piero Carrubba wrote: > 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

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

2021-10-14 Thread 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

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

2021-10-14 Thread 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

2021-10-14 Thread 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.

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

2021-10-14 Thread 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 require