Module: ppl/w3ppl Branch: master Commit: 1b39d68ce71c84d4b698b530ac4b3f80a0c0153e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=1b39d68ce71...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 30 21:22:56 2009 +0200

Explained how to anonymously clone the repository via the HTTP protocol.

---

htdocs/Download/Git.raw | 12 ++++++++++++ 1 files changed, 12 insertions(+), 0 deletions(-)

diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw index 7dc820d..4999d0b 100644 --- a/htdocs/Download/Git.raw +++ b/htdocs/Download/Git.raw @@ -103,6 +103,18 @@ web pages. To fully clone it, do, e.g., <CODE>git clone git://git.cs.unipr.it/ppl/w3ppl.git</CODE> </BLOCKQUOTE>

+<P> +If you are behind a firewall that only allows you access to the outside +word via http (possibly with the intermediation of a proxy), you can use +the alternative commands +</P> +<BLOCKQUOTE> + <CODE>git clone http://www.cs.unipr.it/git/ppl/ppl.git</CODE> +</BLOCKQUOTE> +<BLOCKQUOTE> + <CODE>git clone http://www.cs.unipr.it/git/ppl/w3ppl.git</CODE> +</BLOCKQUOTE> +

<A NAME="read-write-access"/> <H2>Read-Write Git Access</H2>