[PPL-devel] unable to clone ppl git repository

[Roberto Bagnara]

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

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it