[PPL-devel] unable to clone ppl git repository

[Bryan Hundven]

On Thu, Mar 25, 2010 at 12:25 AM, Roberto Bagnara <bagnara at cs.unipr.it> wrote:
> On 03/24/2010 10:31 PM, Bryan Hundven wrote:
>>
>> $ git clone git://git.cs.unipr.it/ppl/ppl.git
>> Initialized empty Git repository in /home/bryan/gccfun/src/ppl/.git/
>> fatal: read error: Connection reset by peer
>>
>> I have been able to clone from other git repositories in just the last
>> few minutes, but this server always gives me a Connection reset by
>> peer.
>
> Hi Bryan,
>
> you must be behind a firewall that is blocking you.  We tried using the
> same command from different locations, and it works:
>
> $  git clone git://git.cs.unipr.it/ppl/ppl.git
> Initialized empty Git repository in /tmp/ppl/.git/
> remote: Counting objects: 89722, done.
> remote: Compressing objects: 100% (26481/26481), done.
> remote: Total 89722 (delta 71980), reused 79288 (delta 63172)
> Receiving objects: 100% (89722/89722), 29.70 MiB | 814 KiB/s, done.
> Resolving deltas: 100% (71980/71980), done.
>
> All the best,
>
>   Roberto

Huh, Ok. It's interesting that I'm able to clone any repo from
git.kernel.org, sourceware.org, and github. But I'm sure this firewall
just doesn't like you... or me.

Thanks for confirming! I'll try a different network.

--Bryan