<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Another problemā€¦  Seen beforeā€¦<div class=""><br class=""></div><div class=""><font face="Courier New" class="">cl-unif-test$ git clone <a href="http://common-lisp.net/project/cl-unification/git/cl-unification.git" class="">http://common-lisp.net/project/cl-unification/git/cl-unification.git</a> cl-unification<br class="">Cloning into 'cl-unification'...<br class="">fatal: repository '<a href="http://common-lisp.net/project/cl-unification/git/cl-unification.git/'" class="">http://common-lisp.net/project/cl-unification/git/cl-unification.git/'</a> not found</font></div><div class=""><br class=""></div><div class="">And yet the http link appears to be there as expected.</div><div class=""><br class=""></div><div class="">Any ideas about why this is happening?</div><div class=""><br class=""></div><div class="">MA</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""><blockquote type="cite" class="">On Jan 1, 2015, at 22:16 , Marco Antoniotti <<a href="mailto:marcoxa@cs.nyu.edu" class="">marcoxa@cs.nyu.edu</a>> wrote:<br class=""><br class="">Hello (and Happy New Year)<br class=""><br class="">I decided to move all my repositories to git and I need to change the doc pages to reflect this move.<br class=""><br class="">What is the tool now in place to view git repositories and how do you access it?<br class=""><br class="">Thanks<br class=""><br class="">--<br class="">Marco Antoniotti<br class=""><br class=""><br class=""><br class="">_______________________________________________<br class="">Clo-devel mailing list<br class=""><a href="mailto:Clo-devel@common-lisp.net" class="">Clo-devel@common-lisp.net</a><br class="">http://mailman.common-lisp.net/cgi-bin/mailman/listinfo/clo-devel<br class=""></blockquote><br class=""><div class="">--<br class="">Marco Antoniotti<br class=""><br class=""></div><br class=""></div></body></html>