[PPL-devel] unable to clone ppl git repository

[Roberto Bagnara]

On 03/25/2010 09:25 PM, Bryan Hundven wrote:
> 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.

I have checked further and the reason is another one.
Our server only provides the anonymous access services
to hosts whose IP address can be mapped back.
Cheers,

     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