[plt-dev] git usr repositories

From: Eli Barzilay (eli at barzilay.org)
Date: Sat May 8 22:47:05 EDT 2010

On May  8, Jon Rafkind wrote:
> I cant create usr repositories in git
> $ git clone gitplt:rafkind/foo
> Initialized empty Git repository in /home/jon/svn/foo/.git/
> Initialized empty Git repository in /home/git/repos/rafkind/foo.git/
> fatal: no matching remote head

I just tried it, and it works fine.  I also looked at that foo and
tried to clone it, and it's fine.  Are you using an old version?

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.