[PPL-devel] [GIT] ppl/w3ppl(master): Explained how to anonymously clone the repository via the HTTP protocol.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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>