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