
Hi there!
I tried to clone via the read-only anonymous method and i get the following error:
``` -> % git clone git://git.cs.unipr.it/ppl/ppl.git Cloning into 'ppl'... fatal: remote error: access denied or repository not exported: /ppl/ppl.git ```
The http method also gives an error:
``` -> % git -c http.sslVerify=false clone https://git.cs.unipr.it/ppl/ppl.git Cloning into 'ppl'... fatal: repository 'https://git.cs.unipr.it/ppl/ppl.git/' not found ```
Trying to get onto the gitweb interface asks for credentials, which i (obviously) don't have and i couldn't find any info about it on the website.
Also rsync doesn't work with:
``` -> % rsync --archive --delete --checksum --compress \ rsync://rsync.cs.unipr.it/ppl-git ./ppl-git rsync: [Receiver] failed to connect to rsync.cs.unipr.it (160.78.167.140): Connection refused (111) rsync error: error in socket IO (code 10) at clientserver.c(137) [Receiver=3.2.3] ```
Finally i tried the direct tarball download, which did work YAY!
So my question is: is this intended behaviour or not?
bye, Malte Frank Gerdes