[PPL-devel] [GIT] ppl/w3ppl(master): Reflected the switch to gitolite.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 14 10:48:37 2011 +0100

Reflected the switch to gitolite.

---

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

diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw
index 273729b..aa620c5 100644
--- a/htdocs/Download/Git.raw
+++ b/htdocs/Download/Git.raw
@@ -168,10 +168,10 @@ Otherwise there is no point in reading further: solve this problem first.
 Issue the command
 </P>
 <BLOCKQUOTE>
-  <CODE>git clone ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git ppl</CODE>
+  <CODE>git clone ssh://git@git.cs.unipr.it/ppl/ppl</CODE>
 </BLOCKQUOTE>
 <BLOCKQUOTE>
-  <CODE>git clone ssh://myusername@git.cs.unipr.it/git/ppl/w3ppl.git w3ppl</CODE>
+  <CODE>git clone ssh://git@git.cs.unipr.it/ppl/w3ppl</CODE>
 </BLOCKQUOTE>
 <P>
 to clone the PPL source or the PPL web repositories, respectively.
@@ -181,7 +181,7 @@ to clone the PPL source or the PPL web repositories, respectively.
 After the initial checkout,
 you can change into one of the project's directories and execute
 most Git commands omitting
-the <CODE>ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git</CODE> argument.
+the <CODE>ssh://git@git.cs.unipr.it/ppl/ppl</CODE> argument.
 For example, whenever you want to merge with the latest code changes,
 <CODE>cd</CODE> into your <CODE>ppl</CODE> directory and issue
 </P>
@@ -303,7 +303,7 @@ basic CVS commands and their Git counterparts.
 <PRE>
 cvs -d ssh://myusername@git.cs.unipr.it/cvs/ppl checkout ppl
 |
-+---> git clone ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git
++---> git clone ssh://git@git.cs.unipr.it/ppl/ppl
 </PRE>
 
 
@@ -311,7 +311,7 @@ cvs -d ssh://myusername@git.cs.unipr.it/cvs/ppl checkout ppl
 <PRE>
 cvs -d ssh://myusername@git.cs.unipr.it/cvs/ppl checkout -r products ppl
 |
-+---> git clone ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git
++---> git clone ssh://git@git.cs.unipr.it/ppl/ppl
       git checkout -b products origin/products
 </PRE>